Annex G (informative) Ill-formed, no diagnostic required [ifndr]

G.7 [module]: Modules [ifndr.module]

G.7.1[ifndr:module.unit.reserved.identifiers]
Specified in: [module.unit]

1
#
Specifying a module-name beginning with an identifier consisting of std followed by zero or more digits, or containing a reserved identifier ([lex.token]) in a module-declaration is ill-formed, no diagnostic required.
2
#
[Example 1: module std; // IFNDR, std is not allowed at the beginning module module; // IFNDR, module is a reserved identifier module std0; // IFNDR, std followed by digits is not allowed at the beginning export module _Test; // IFNDR, _Test is a reserved identifier export module te__st; // IFNDR, te__st is a reserved identifier — end example]