This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of Resolved status.

### 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.