Function supertraits

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