Date
2010-10-21.18:28:33
Message id
1234

Content

Proposed resolution:

Add the following comment:

user specialization permitted to derive from std::true_type when the operation is known not to throw.

to the following traits in [meta.unary.prop] Table 43 Type property predicates.