Module chalk_solve::clauses::super_traits

Functions

• push_trait_super_clauses 🔒
  Generate Implemented and Normalize clauses for dyn Trait and opaque types. We need to generate those clauses for all super traits, and for each trait we require its where clauses. (See #203)
• super_traits 🔒