Function rustc_middle::traits::util::super_predicates_for_pretty_printing

pub fn super_predicates_for_pretty_printing<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_ref: PolyTraitRef<'tcx>
) -> impl Iterator<Item = Clause<'tcx>>

Given a PolyTraitRef, get the Clauses implied by the trait’s definition.

This only exists in rustc_middle because the more powerful elaborator depends on rustc_infer for elaborating outlives bounds – this should only be used for pretty printing.