enum WherePredicateKindA constraint admitted in a generic where clause.
Cases
case type_eq(GenericArg, GenericArg)
Requires two type or static arguments to be equal.
case static_cmp(Bool, GenericArg, GenericArg)
N < M (strict) or N <= M (ADR 0035).
case conforms(TypeAnnotation, [TypeAnnotation])
The conforming type, then its &-joined protocols.