👍 And this seems editorial.

[over.match.funcs]p3: "Since arguments and parameters are associated by position within their respective lists, the convention is that the implicit object parameter, if present, is always the first parameter and the implied object argument, if present, is always the first argument."

That's normative wording, and contradicts this note. The note reflects the obvious intent of the wording, though, and the lack of an update to the above wording is just an oversight, so I'm OK with changing this editorially if there's no CWG opposition. Here's what I suggest:

• Update the wording to also change the above paragraph.
• Add the CWG label to request that CWG check they're OK with us changing this editorially.

I think we can simply say that a member function gets an extra first parameter when it becomes a candidate. Then, the synthesized candidate is based on that member function candidate and the reversal happens.

CWG in Jacksonville: approved.

Rebased.