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