We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 06ffe74 commit 5b6307eCopy full SHA for 5b6307e
source/templates.tex
@@ -4208,9 +4208,7 @@
4208
they have equivalent types
4209
ignoring the use of \grammarterm{type-constraint}{s} for placeholder types, and
4210
\item if they declare template template parameters,
4211
-%FIXME: What are "their kinds"? And what does it mean for kinds to be the same?
4212
-%FIXME: We refer to "kinds" in [temp.param]/p2 but never define it.
4213
-their kinds are the same and their \grammarterm{template-head}{s} are equivalent.
+their \grammarterm{template-head}{s} are equivalent.
4214
\end{itemize}
4215
When determining whether types or \grammarterm{type-constraint}{s}
4216
are equivalent, the rules above are used to compare expressions
0 commit comments