1393. Trivial traits imply noexcept

Section: 21.3.5.4 [meta.unary.prop] Status: Resolved Submitter: BSI Opened: 2010-08-25 Last modified: 2016-01-28

Priority: Not Prioritized

View other active issues in [meta.unary.prop].

View all other issues in [meta.unary.prop].

View all issues with Resolved status.

Discussion:

Addresses GB-92

Trivial functions implicitly declare a noexcept exception specification, so the references to has_trivial_* traits in the has_nothrow_* traits are redundant, and should be struck for clarity.

[ Resolution proposed by ballot comment ]

For each of the has_nothrow_something traits, remove all references to the matching has_trivial_something traits.

[ 2010-10-24 Daniel adds: ]

Accepting n3142 would solve this issue.

Proposed resolution:

Resolved by n3142.