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 Nov 11, 2023
1 parent d97603a commit e1eb0b2
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 @@ -3767,15 +3767,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 e1eb0b2

Please sign in to comment.