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
P1814R0 Class template argument deduction for alias template #3075
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The edits were (mostly) fine, but the wording is problematic - I really hope we can fix this editorially before merging this paper!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not happy with wording (see unresolved comments), but edits are correct.
- fixed one f' / f1' vs. f1' / f2' confusion in the example
c01e723
to
269e7ed
Compare
deducible alias template's defining-type-id contains a nested-name-specifier (or 'typename' or 'template' keywords).
what happens if the various 'if' conditions are not met.
f' at the same depth, and guard them all by the condition that we're actually adding an f' to the set of guides.
Fixes #3001.