Function rustc_infer::infer::canonical::ir::elaborate::transitive_bounds

source · 
pub fn transitive_bounds<I>(
    cx: I,
    trait_refs: impl Iterator<Item = Binder<I, TraitRef<I>>>,
) -> FilterToTraits<I, Elaborator<I, <I as Interner>::Clause>> ⓘ
where
    I: Interner,