Skip to content

[dcl.type.decltype] Handle splice specializations#9171

Closed
abhinavagarwal07 wants to merge 2 commits into
cplusplus:mainfrom
abhinavagarwal07:codex/decltype-splice-specialization
Closed

[dcl.type.decltype] Handle splice specializations#9171
abhinavagarwal07 wants to merge 2 commits into
cplusplus:mainfrom
abhinavagarwal07:codex/decltype-splice-specialization

Conversation

@abhinavagarwal07

@abhinavagarwal07 abhinavagarwal07 commented Jul 3, 2026

Copy link
Copy Markdown
Contributor

P2996R13, applied in
#8008, specified decltype of
an unparenthesized splice expression in terms of the entity designated by its
splice-specifier.

For a splice-specialization-specifier, the contained splice-specifier
designates the template rather than the selected specialization, as specified
in basic.splice, so the wording does
not identify the intended type.

Split the cases following
expr.prim.splice and
dcl.type.splice: preserve the
existing rule for a plain splice-specifier, use the selected variable-template
specialization's type, and handle function-template overload-set cases
explicitly.

@abhinavagarwal07 abhinavagarwal07 changed the title [codex] [dcl.type.decltype] Handle splice specializations [dcl.type.decltype] Handle splice specializations Jul 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant