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