Skip to content

Commit

Permalink
[temp.over.link] Reword to clarify that declarations correspond
Browse files Browse the repository at this point in the history
  • Loading branch information
tkoeppe committed Dec 18, 2022
1 parent ba1c5e5 commit f250f30
Showing 1 changed file with 4 additions and 9 deletions.
13 changes: 4 additions & 9 deletions source/templates.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit f250f30

Please sign in to comment.