Function fold_type_infer 

pub fn fold_type_infer<F>(f: &mut F, node: TypeInfer) -> TypeInfer
where
    F: Fold + ?Sized,