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

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

G.7.4[ifndr:module.private.frag.other.module.units]
Specified in: [module.private.frag]

1
#
If a module has a private module fragment and there is another module unit of that module, the program is ill-formed, no diagnostic required.
2
#
[Example 1: 

Translation unit #1:export module M; module :private; // private module fragment

Translation unit #2:module M:A; // IFNDR, partition of M with private module fragment — end example]