Function elaborate_outlives_assumptions 

pub fn elaborate_outlives_assumptions<I: Interner>(
    cx: I,
    assumptions: impl IntoIterator<Item = OutlivesPredicate<I, I::GenericArg>>,
) -> HashSet<OutlivesPredicate<I, I::GenericArg>>