Skip to main content

Module predicate_kind

rustc_type_ir

Module predicate_kind 

Source

Enumsยง

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