@phan-assert-false-condition

The @phan-assert-false-condition tag asserts that a given expression evaluates to false at the point of the call. It belongs to the same assertion family as @phan-assert.

Defined by Phan; see the "Assertions" section of Phan's Annotating Your Source Code wiki.