rustc_borrowck::type_check

Function translate_outlives_facts

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