CWG3074 Redundant ill-formedness for module macros

Author: eisenwave

source/preprocessor.tex

@@ -1222,12 +1222,6 @@
     \opt{\keyword{export}} \keyword{module} \opt{pp-tokens} \terminal{;} new-line
 \end{bnf}
 
-\pnum
-A \grammarterm{pp-module} shall not
-appear in a context where \tcode{module}
-or (if it is the first preprocessing token of the \grammarterm{pp-module}) \tcode{export}
-is an identifier defined as an object-like macro.
-
 \pnum
 The \grammarterm{pp-tokens}, if any, of a \grammarterm{pp-module}
 shall be of the form:
@@ -1283,12 +1277,6 @@
     \opt{\keyword{export}} \keyword{import} pp-tokens \terminal{;} new-line
 \end{bnf}
 
-\pnum
-A \grammarterm{pp-import} shall not
-appear in a context where \tcode{import}
-or (if it is the first preprocessing token of the \grammarterm{pp-import}) \tcode{export}
-is an identifier defined as an object-like macro.
-
 \pnum
 The preprocessing tokens after the \tcode{import} preprocessing token
 in the \tcode{import} \grammarterm{control-line}