@phan-assert-true-condition

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

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