Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

The word "below" in [basic.lookup.argdep]/3 should be replaced by "above". #2287

Closed
jabelloc opened this issue Aug 3, 2018 · 3 comments
Closed

The word "below" in [basic.lookup.argdep]/3 should be replaced by "above". #2287

jabelloc opened this issue Aug 3, 2018 · 3 comments

Comments

@jabelloc
Copy link

jabelloc commented Aug 3, 2018

The word "below" should be replace by "above" in [basic.lookup.argdep]/3:

Let X be the lookup set produced by unqualified lookup and let Y be the lookup set produced by argument dependent lookup (defined as follows). If X contains
(3.1) a declaration of a class member, or
(3.2) a block-scope function declaration that is not a using-declaration, or
(3.3) a declaration that is neither a function nor a function template
then Y is empty. Otherwise Y is the set of declarations found in the namespaces associated with the argument types as described belowabove. The set of declarations found by the lookup of the name is the union of X and Y. [ Note: The namespaces and classes associated with the argument types can include namespaces and classes already considered by the ordinary unqualified lookup. — end note ] [ Example:
@jwakely
Copy link
Member

jwakely commented Aug 3, 2018

It's referring to paragraph 4, isn't it? That's below.

@jwakely
Copy link
Member

jwakely commented Aug 3, 2018

The set of associated namespaces is defined by paragraph 2, above, but the set of declarations found in the associated namespaces is determined by paragraph 4, below. It's talking about the set of declarations, so "below" is correct.

@jabelloc
Copy link
Author

jabelloc commented Aug 3, 2018

That's clear now. Thanks.

@jwakely jwakely closed this as completed Aug 3, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jwakely @jabelloc