This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See for the official list.


2096. Constraints on literal unions

Section: 6.8  [basic.types]     Status: CD4     Submitter: Agustín K-ballo Bergé     Date: 2015-03-11

[Adopted at the February, 2016 meeting.]

According to 6.8 [basic.types] bullet 10.5.3, all the members of a class type must be of non-volatile literal types. This seems overly constraining for unions; it would seem to be sufficient if at least one of its non-static members were of a literal type.

Proposed resolution (September, 2015):

Change 6.8 [basic.types] bullet 10.5 as follows:

A type is a literal type if it is: