From 256896b042ad94dbc893fbf44bd67e3ef7e531a3 Mon Sep 17 00:00:00 2001 From: Botond Istvan Horvath Date: Tue, 19 Mar 2024 13:22:38 +0100 Subject: [PATCH] [temp.func.order] Explicitly specify to only add extra first argument if we don't have an explicit object argument In [temp.func.order] paragraph 3, it is written that we need to add a new first parameter for all member functions for the purposes of template deduction. However, it only makes sense if we don't have an explicit object parameter. If we have an explicit object parameter, we shouldn't add a new (implicit) first parameter because our first parameter is explicitly written. --- source/templates.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/templates.tex b/source/templates.tex index 4671d85c34..2c265c0033 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -3904,7 +3904,7 @@ is also a unique synthesized type. \end{note} Each function template $M$ that is a member function -is considered to have +with no explicit object parameter is considered to have a new first parameter of type $X(M)$, described below, inserted in its function parameter list. If exactly one of the function templates was considered by overload resolution