Open
Description
If a declaration named by a using-declaration that inhabits the target scope of another declaration B potentially conflicts with it ([basic.scope.scope]), and either is reachable from the other, the program is ill-formed unless B is name-independent and the using-declaration precedes B.
Can we change it to something like this:
If a using-declaration that inhabits the target scope of a declaration B names a declaration A that potentially conflicts with B, [...]
(I know we talked about this sentence in CWG at length when we added the "name-independent" stuff, but it seems like we didn't do much about it...)
Metadata
Metadata
Assignees
Labels
No labels