Skip to content

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

Open
eisenwave wants to merge 1 commit intocplusplus:mainfrom
eisenwave:motions-2026-03-cwg-7
Open

[2026-03 CWG Motion 7] P3865R3 Class template argument deduction (CTAD) for type template template parameters#8886
eisenwave wants to merge 1 commit intocplusplus:mainfrom
eisenwave:motions-2026-03-cwg-7

Conversation

@eisenwave
Copy link
Copy Markdown
Member

@eisenwave eisenwave commented Mar 29, 2026

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
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).

Copy link
Copy Markdown
Member Author

@eisenwave eisenwave Mar 30, 2026

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

@tkoeppe tkoeppe left a comment

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 from 935ad00 to 43df165 Compare March 30, 2026 19:21
@eisenwave eisenwave force-pushed the motions-2026-03-cwg-7 branch from 43df165 to 732c095 Compare March 30, 2026 19:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants