19 Diagnostics library [diagnostics]

19.3 Assertions [assertions]

19.3.2 The assert macro [assertions.assert]

An expression assert(E) is a constant subexpression, if