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