From f250f30728226b8050bfa783b89ce2d3eca1dea4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= Date: Tue, 22 Nov 2022 18:34:53 +0000 Subject: [PATCH] [temp.over.link] Reword to clarify that declarations correspond --- source/templates.tex | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/source/templates.tex b/source/templates.tex index c726e771ff6..06381d0d152 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -3753,15 +3753,10 @@ whether two constructs are equivalent, and they are functionally equivalent but not equivalent, the program is ill-formed, no diagnostic required. -% FIXME: What does it mean for two function templates to correspond? -Furthermore, if two function templates that do not correspond -\begin{itemize} -\item have the same name, -\item have corresponding signatures\iref{basic.scope.scope}, -\item would declare the same entity\iref{basic.link} considering them to correspond, and -% FIXME: What does it mean for a set of template argument lists to satisfy a function template? -\item accept and are satisfied by the same set of template argument lists, -\end{itemize} +Furthermore, if two declarations of function templates with the same name +and corresponding signatures\iref{basic.scope.scope} do not correspond +but would declare the same entity\iref{basic.link} considering them to do so, and +accept and are satisfied by the same set of template argument lists, the program is ill-formed, no diagnostic required. \pnum