Function collect_type_inference_vars 

pub fn collect_type_inference_vars<'db, T>(value: &T) -> Vec<Ty<'db>>
where
    T: ?Sized + TypeVisitable<DbInterner<'db>>,