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