Module rustc_middle::traits::util

Structs

• Elaborator 🔒

Functions

• super_predicates_for_pretty_printing
  Given a PolyTraitRef, get the Clauses implied by the trait’s definition.
• supertraits_for_pretty_printing
  Like super_predicates_for_pretty_printing, except it only returns traits and filters out all other Clauses.