CWG3018 Validity of defined in __has_embed

Author: tkoeppe

source/preprocessor.tex

@@ -391,6 +391,8 @@
 \grammarterm{has-attribute-expression}{s},
 and/or \grammarterm{has-embed-expression}{s}
 as unary operator expressions.
+A \grammarterm{defined-macro-expression} shall not appear
+within a \grammarterm{has-include-expression} or \grammarterm{has-embed-expression}.
 
 \pnum
 A \grammarterm{defined-macro-expression} evaluates to \tcode{1}
@@ -1047,15 +1049,17 @@
 \end{example}
 
 \rSec2[cpp.embed.param]{Embed parameters}
+
 \rSec3[cpp.embed.param.limit]{limit parameter}
+
 \pnum
 An \grammarterm{embed-parameter} of the form
 \tcode{limit (} \grammarterm{pp-balanced-token-seq} \tcode{)}
 specifies the
 maximum possible number of elements in the comma-delimited list.
 It shall appear at most once in the \grammarterm{embed-parameter-seq}.
-The token \tcode{defined} shall not appear in the
-\grammarterm{constant-expression}.
+The preprocessing token \tcode{defined} shall not appear in the
+\grammarterm{pp-balanced-token-seq}.
 
 \pnum
 The \grammarterm{pp-balanced-token-seq} is evaluated as a