pub fn visit_type_infer<'ast, V>(v: &mut V, node: &'ast TypeInfer)where
    V: Visit<'ast> + ?Sized,