Module rustc_type_ir::predicate_kind

Enums

• AliasRelationDirection
• ClauseKind
  A clause is something that can appear in where bounds or be inferred by implied bounds.
• PredicateKind

Functions

• clause_kind_discriminant 🔒
• predicate_kind_discriminant 🔒