An improvement to ADL for the name declared by a friend declaration

[basic.lookup.argdep] p4 is saying:

Argument-dependent lookup finds all declarations of functions and function templates that

• are found by a search of any associated namespace, or
• are declared as a friend ([class.friend]) of any class with a reachable definition in the set of associated entities, or

It sounds like we impose no requirement on the friend declarations when ADL. According to [dcl.meaning.general] p2, the declaration of a friend declaration does not bind a name. we define the concept for wording search that works on the name is bound. It is not suitable for friend declaration. The improvement is:

Argument-dependent lookup finds all declarations of functions and function templates that

• [...], or
• are declared as a friend of any class with a reachable definition in the set of associated entities, where the terminal names of the declarator-ids of the declarations are the same as the name that is being found.

Start by locating the draft wording for [basic.lookup.argdep] p4 and compare it with [dcl.meaning.general] p2 and [class.friend]. Check how friend declarations are represented in the draft source, then update the ADL wording so the terminal names of the declarator-ids match the name being found; confirm the resulting specification is consistent with those referenced clauses.