Skip to content

[2026-03 CWG Motion 7] P3865R3 Class template argument deduction (CTAD) for type template template parameters#8886

Merged
tkoeppe merged 2 commits into
cplusplus:mainfrom
eisenwave:motions-2026-03-cwg-7
Apr 12, 2026
Merged

[2026-03 CWG Motion 7] P3865R3 Class template argument deduction (CTAD) for type template template parameters#8886
tkoeppe merged 2 commits into
cplusplus:mainfrom
eisenwave:motions-2026-03-cwg-7

Conversation

@eisenwave

@eisenwave eisenwave commented Mar 29, 2026

Copy link
Copy Markdown
Member

Fixes #8828

Also fixes cplusplus/papers#2469
Also fixes cplusplus/papers#2443
Also fixes cplusplus/CWG#670

@eisenwave eisenwave changed the title P3865R3 Class template argument deduction (CTAD) for type template template parameters [2026-03 CWG Motion 7] P3865R3 Class template argument deduction (CTAD) for type template template parameters Mar 29, 2026
@eisenwave eisenwave added this to the post-2026-03 milestone Mar 29, 2026
@eisenwave eisenwave force-pushed the motions-2026-03-cwg-7 branch from 75935f6 to 935ad00 Compare March 29, 2026 19:56
@eisenwave eisenwave marked this pull request as ready for review March 29, 2026 19:56
Comment thread source/overloading.tex Outdated
to resolve the placeholder.

\pnum
%FIXME: pull up this iref?

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@eisenwave Yes, if you can, please add a commit that moves the reference up (or I'll do it when merging).

@eisenwave eisenwave Mar 30, 2026

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nevermind I've dropped that part from this PR. https://eel.is/c++draft/over.match.class.deduct contains two different \irefs following "deduced class type", and I feel like the first one is actually pointing to "deduced class type" and the second one is maybe a bit misplaced, and moving the second one up wouldn't make sense here.

The state of the PR should still be exactly as in the motions, with the FIXME removed.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

OK, thanks!

@tkoeppe tkoeppe left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(optional minor changes)

@eisenwave eisenwave force-pushed the motions-2026-03-cwg-7 branch 2 times, most recently from 43df165 to 732c095 Compare March 30, 2026 19:28
@tkoeppe

tkoeppe commented Apr 6, 2026

Copy link
Copy Markdown
Contributor

Note to self: rephrase start of sentence, as discussed with Core.

eisenwave and others added 2 commits April 12, 2026 11:10
This avoids starting a sentence with a symbol. Sentences should start
with normal English words.
@tkoeppe tkoeppe force-pushed the motions-2026-03-cwg-7 branch from 732c095 to 8b80344 Compare April 12, 2026 10:12
@tkoeppe tkoeppe merged commit 3442a88 into cplusplus:main Apr 12, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment