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.

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

Possible contradiction between [basic.link]/9 and [base.scope.declarative]/4 #3290

Open
jabelloc opened this issue Oct 11, 2019 · 1 comment
Labels
cwg Issue must be reviewed by CWG.

Comments

@jabelloc
Copy link

[basic.link]9 (emphasis is mine):

When a block scope declaration of an entity with linkage is not found to refer to some other declaration, then that entity is a member of the innermost enclosing namespace. However such a declaration does not introduce the member name in its namespace scope.

[basic.scope.declarative]/4 (emphasis is mine):

[ Note: These restrictions apply to the declarative region into which a name is introduced, which is not necessarily the same as the region in which the declaration occurs. In particular, elaborated-type-specifiers and friend declarations may introduce a (possibly not visible) name into an enclosing namespace; these restrictions apply to that region. Local extern declarations ([basic.link]) may introduce a name into the declarative region where the declaration appears and also introduce a (possibly not visible) name into an enclosing namespace; these restrictions apply to both regions. — end note ]

@jensmaurer jensmaurer added decision-required A decision of the editorial group (or the Project Editor) is required. cwg Issue must be reviewed by CWG. and removed decision-required A decision of the editorial group (or the Project Editor) is required. labels Oct 16, 2019
@jensmaurer
Copy link
Member

Editorial meeting: Both wording appearances are removed by Davis' paper P1787R2.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cwg Issue must be reviewed by CWG.
Projects
None yet
Development

No branches or pull requests

2 participants