Skip to content

[expr.prim.pack.index] Replace "in" with "of" in paragraph 1 - #9312

Merged
jensmaurer merged 1 commit into
cplusplus:mainfrom
eisenwave:id-expression-in-pack-index-expression
Sep 4, 2026
Merged

[expr.prim.pack.index] Replace "in" with "of" in paragraph 1#9312
jensmaurer merged 1 commit into
cplusplus:mainfrom
eisenwave:id-expression-in-pack-index-expression

Conversation

@eisenwave

@eisenwave eisenwave commented Sep 4, 2026

Copy link
Copy Markdown
Member

Closes #9288

There is an argument to be made that this is not editorial, but I personally think this is basically a typo. The combination "The" and "in" doesn't make any sense anyway here. It would need to be

An id-expression $P$ in a pack-index-expression

to make any sense. The intent is pretty clear, especially since this paragraph refers to the grammar snippet immediately above, so it obviously refers to the id-expression of the pack-index-expression as shown above, rather than making some broad and recursive statement.

Implementers are obviously going to be doing the right thing anyway. It would be evil and unhinged to assume that every id-expression recursively needs to denote a pack just because it's nested somewhere in a pack-index-expression.

@eisenwave eisenwave added the P1-Important Misapplication of paper, malformed code, internal inconsistencies label Sep 4, 2026
@eisenwave
eisenwave requested a review from cor3ntin September 4, 2026 13:39
@cor3ntin

cor3ntin commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

I think we are splitting hairs here.

However, if we wanted to do that change we should do it consistently
Here https://eel.is/c++draft/dcl.type.pack.index#1
and here https://eel.is/c++draft/temp.names#3

@jensmaurer
jensmaurer merged commit 75ba788 into cplusplus:main Sep 4, 2026
2 checks passed
@cor3ntin

cor3ntin commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

@jensmaurer you don't agree we should be consistent?

@jensmaurer

Copy link
Copy Markdown
Member

I agree we should use "of" instead of "in" when we dissect the first level of grammar. This fixes one such (obvious) occurrence. Patches welcome for the other two occurrences you identified.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

P1-Important Misapplication of paper, malformed code, internal inconsistencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[expr.prim.pack.index]/1 A nested id-expression in the pack-index-expression need not denote a pack

3 participants