Skip to main content

elaborate_outlives_assumptions

rustc_type_ir::elaborate

Function elaborate_outlives_assumptions 

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