Merge 2022-11 CWG Motion 6

P2710R0 Core Language Working Group NB comment resolutions for the November, 2022 meeting; issue 2538

Author: tkoeppe

source/declarations.tex

@@ -8483,9 +8483,15 @@
 For an \grammarterm{attribute-token}
 (including an \grammarterm{attribute-scoped-token})
 not specified in this document, the
-behavior is \impldef{behavior of non-standard attributes}.
-Any \grammarterm{attribute-token} that is not recognized by the implementation
+behavior is \impldef{behavior of non-standard attributes};
+any such \grammarterm{attribute-token} that is not recognized by the implementation
 is ignored.
+\begin{note}
+A program is ill-formed if it contains an \grammarterm{attribute}
+specified in \ref{dcl.attr} that violates
+the rules specifying to which entity or statement the attribute can apply or
+the syntax rules for the attribute's \grammarterm{attribute-argument-clause}, if any.
+\end{note}
 An \grammarterm{attribute-token} is reserved for future standardization if
 \begin{itemize}
 \item it is not an \grammarterm{attribute-scoped-token} and