E4207

Compiler diagnostic name: invalid_predicate.

Detailed documentation and examples for this diagnostic have not been added yet.