pub fn visit_type_infer_mut<V: VisitMut + ?Sized>(
    _visitor: &mut V,
    _i: &mut TypeInfer
)