# Function rustc_middle::traits::util::super_predicates_for_pretty_printing

source ·

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

Expand description

Given a `PolyTraitRef`, get the `Clause`s 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.