Assertion: expression's value | /r/HasProperty | negative
Facets:
Source sentences:
text: The behavior is undefined if the value in the first dimension (converted to integral or enumeration type if needed) is negative.