diff --git a/source/templates.tex b/source/templates.tex index 0294586daa..f2393fb106 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -4207,9 +4207,7 @@ they have equivalent types ignoring the use of \grammarterm{type-constraint}{s} for placeholder types, and \item if they declare template template parameters, -%FIXME: What are "their kinds"? And what does it mean for kinds to be the same? -%FIXME: We refer to "kinds" in [temp.param]/p2 but never define it. -their kinds are the same and their \grammarterm{template-head}{s} are equivalent. +their \grammarterm{template-head}{s} are equivalent. \end{itemize} When determining whether types or \grammarterm{type-constraint}{s} are equivalent, the rules above are used to compare expressions