7 Expressions [expr]

7.6 Compound expressions [expr.compound]

7.6.2 Unary expressions [expr.unary]

7.6.2.7 noexcept operator [expr.unary.noexcept]

The noexcept operator determines whether the evaluation of its operand, which is an unevaluated operand, can throw an exception ([except.throw]).
The result of the noexcept operator is a prvalue of type bool.
[Note 1: 
A noexcept-expression is an integral constant expression ([expr.const]).
— end note]
The result of the noexcept operator is true unless the expression is potentially-throwing ([except.spec]).