Function rustc_trait_selection::traits::transitive_bounds

pub fn transitive_bounds<'tcx>(
    tcx: TyCtxt, 
    bounds: impl Iterator<Item = Binder<TraitRef>>
) -> FilterToTraits<Elaborator>