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.