Assertion: constant expression | /r/HasProperty | formed
Facets:
Source sentences:
text: core constant expression, the program is ill-formed (a compile-time error is issued); Otherwise, if the allocation function that would have been called is non-throwing, the new-expression returns the null pointer of the required result type