C28020

warning C28020: The expression <expr> is not true at this call

This warning is reported when the _Satisfies_ expression listed is not true. Frequently this indicates an incorrect parameter.

If this occurs on a function declaration, the annotations indicate an impossible condition.