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