pub fn visit_type_infer_mut<V>(v: &mut V, node: &mut TypeInfer)where
    V: VisitMut + ?Sized,