Searched refs:arg_free_tv (Results 1 – 7 of 7) sorted by relevance
370 let arg_free_tv = arg.free_typevar(); in extract() localVariable371 assert!(arg_free_tv.is_none() || vars_tv.contains(&arg_free_tv.unwrap())); in extract()
367 let arg_free_tv = arg.free_typevar(); in extract() localVariable368 assert!(arg_free_tv.is_none() || vars_tv.contains(&arg_free_tv.unwrap())); in extract()
371 let arg_free_tv = arg.free_typevar(); in extract() localVariable372 assert!(arg_free_tv.is_none() || vars_tv.contains(&arg_free_tv.unwrap())); in extract()