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