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