The `TraitPredicate` no longer has constness as we have desugared it to work with the type system through const generics instead.
The `TraitPredicate` no longer has constness as we have desugared it to work with the type system through const generics instead.