This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
[Accepted as a DR at the November, 2017 meeting.]
The specifications of std::byte (17.2.5 [support.types.byteops]) and bitmask (188.8.131.52.3 [bitmask.types]) have revealed a problem with the integral conversion rules, according to which both those specifications have, in the general case. undefined behavior. The problem is that a conversion to an enumeration type has undefined behavior unless the value to be converted is in the range of the enumeration.
For enumerations with an unsigned fixed underlying type, this requirement is overly restrictive, since converting a large value to an unsigned integer type is well-defined.
Proposed resolution (August, 2017):
Change 184.108.40.206 [expr.static.cast] paragraph 10 as follows:
A value of integral or enumeration type can be explicitly converted to a complete enumeration type.
Thevalue is unchanged if the original value is within the range of the enumeration values (9.7.1 [dcl.enum]) . Otherwise, the behavior is undefined.