rustc_infer::infer::canonical::ir::elaborate

Function supertraits

source
pub fn supertraits<I>(
    cx: I,
    trait_ref: Binder<I, TraitRef<I>>,
) -> FilterToTraits<I, Elaborator<I, <I as Interner>::Clause>> 
where I: Interner,