Function walk_inf 

pub fn walk_inf<'v, V: Visitor<'v>>(
    visitor: &mut V,
    inf: &'v InferArg,
) -> V::Result