Warning C28020

The expression 'expr' is not true at this call

This warning is reported when the _Satisfies_ expression listed isn't true. Frequently, the warning indicates an incorrect parameter.

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