Skip to content

Commit 5b5d225

Browse files
Hubert Tongzygoloid
authored andcommitted
[temp.concept]: Use note; no syntax for explicit specialization, etc.
Explicit specialization, etc. of a concept cannot be formed syntactically. As such, a further rule to prevent such constructs is redundant as normative text. Implements the proposed direction from core/2017/07/2719.
1 parent 66aa2ac commit 5b5d225

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

source/templates.tex

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3980,13 +3980,13 @@
39803980

39813981
\pnum
39823982
A concept is not instantiated\iref{temp.spec}.
3983-
A program that
3984-
explicitly instantiates\iref{temp.explicit},
3985-
explicitly specializes\iref{temp.expl.spec},
3986-
or partially specializes a concept is ill-formed.
39873983
\begin{note}
39883984
An \grammarterm{id-expression} that denotes a concept specialization
39893985
is evaluated as an expression\iref{expr.prim.id}.
3986+
A concept cannot be
3987+
explicitly instantiated\iref{temp.explicit},
3988+
explicitly specialized\iref{temp.expl.spec},
3989+
or partially specialized.
39903990
\end{note}
39913991

39923992
\pnum

0 commit comments

Comments
 (0)