[−][src]Function rustc_trait_selection::traits::util::supertraits

pub fn supertraits(
    tcx: TyCtxt<'tcx>,
    trait_ref: Binder<TraitRef<'tcx>>
) -> FilterToTraits<Elaborator<'tcx>>ⓘ

Notable traits for FilterToTraits<I>

impl<'tcx, I> Iterator for FilterToTraits<I> where
    I: Iterator<Item = Obligation<'tcx, Predicate<'tcx>>>, 
type Item = Binder<TraitRef<'tcx>>;