|
173 | 173 | \item a template, |
174 | 174 | \item an entity defined\iref{basic.def} or created\iref{class.temporary} |
175 | 175 | within the \grammarterm{compound-statement} |
176 | | - of an expansion statement\iref{stmt.expand}, |
| 176 | + of an \grammarterm{expansion-statement}\iref{stmt.expand}, |
177 | 177 | \item an entity defined or created in a templated entity, |
178 | 178 | \item a member of a templated entity, |
179 | 179 | \item an enumerator for an enumeration that is a templated entity, or |
|
5018 | 5018 | no valid specialization, |
5019 | 5019 | ignoring \grammarterm{static_assert-declaration}s that fail, |
5020 | 5020 | can be generated for the \grammarterm{compound-statement} |
5021 | | -of an expansion statement and there is no instantiation of it, or |
| 5021 | +of an \grammarterm{expansion-statement} and there is no instantiation of it, or |
5022 | 5022 | \item |
5023 | 5023 | no valid specialization, |
5024 | 5024 | ignoring \grammarterm{static_assert-declaration}{s} that fail, |
|
5747 | 5747 | a \grammarterm{conversion-function-id} that specifies a dependent type, |
5748 | 5748 | \item |
5749 | 5749 | a name $N$ introduced by the \grammarterm{for-range-declaration} |
5750 | | -of an expansion statement $S$ |
| 5750 | +of an \grammarterm{expansion-statement} $S$ |
5751 | 5751 | if the type specified for $N$ contains a placeholder type and either |
5752 | 5752 | \begin{itemize} |
5753 | 5753 | \item the \grammarterm{expansion-initializer} of $S$ is type-dependent or |
|
5873 | 5873 | it is the name of a constant template parameter, |
5874 | 5874 | \item |
5875 | 5875 | it is a name introduced by the \grammarterm{for-range-declaration} |
5876 | | -of an expansion statement\iref{stmt.expand}, |
| 5876 | +of an \grammarterm{expansion-statement}\iref{stmt.expand}, |
5877 | 5877 | \item |
5878 | 5878 | it names a static data member that is a dependent member of the current |
5879 | 5879 | instantiation and is not initialized in a \grammarterm{member-declarator}, |
|
6180 | 6180 |
|
6181 | 6181 | \pnum |
6182 | 6182 | For the \grammarterm{compound-statement} |
6183 | | -of an expansion statement\iref{stmt.expand}, |
| 6183 | +of an \grammarterm{expansion-statement}\iref{stmt.expand}, |
6184 | 6184 | the point of instantiation is the point of instantiation |
6185 | 6185 | of its enclosing templated entity, if any. |
6186 | 6186 | Otherwise, it immediately follows the namespace-scope declaration |
|
0 commit comments