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