rustc_borrowck::type_check

Function translate_outlives_facts

source 
fn translate_outlives_facts(typeck: &mut TypeChecker<'_, '_>)