CWG2698 Using extended integer types with z suffix

Author: burblebee

source/lex.tex

@@ -1317,21 +1317,27 @@
 \end{floattable}
 
 \pnum
-If an \grammarterm{integer-literal}
+Except for \grammarterm{integer-literal}{s} containing
+a \grammarterm{size-suffix},
+if the value of an \grammarterm{integer-literal}
 cannot be represented by any type in its list and
 an extended integer type\iref{basic.fundamental} can represent its value,
 it may have that extended integer type.
 If all of the types in the list for the \grammarterm{integer-literal}
 are signed,
-the extended integer type shall be signed.
+the extended integer type is signed.
 If all of the types in the list for the \grammarterm{integer-literal}
 are unsigned,
-the extended integer type shall be unsigned.
+the extended integer type is unsigned.
 If the list contains both signed and unsigned types,
 the extended integer type may be signed or unsigned.
-A program is ill-formed
-if one of its translation units contains an \grammarterm{integer-literal}
-that cannot be represented by any of the allowed types.
+If an \grammarterm{integer-literal}
+cannot be represented by any of the allowed types,
+the program is ill-formed.
+\begin{note}
+An \grammarterm{integer-literal} with a \tcode{z} or \tcode{Z} suffix
+is ill-formed if it cannot be represented by \tcode{std::size_t}.
+\end{note}
 
 \rSec2[lex.ccon]{Character literals}