Skip to content
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

US098 13 p6 Concept<X> as type-constraint vs. id-expression #97

Closed
wg21bot opened this issue Oct 23, 2019 · 2 comments
Closed

US098 13 p6 Concept<X> as type-constraint vs. id-expression #97

wg21bot opened this issue Oct 23, 2019 · 2 comments
Labels
concepts Concepts EWG Evolution Rejected No consensus for a change.
Milestone

Comments

@wg21bot
Copy link
Collaborator

wg21bot commented Oct 23, 2019

It is surprising that the single syntax Concept<X> can be a type-constraint (which becomes Concept<T,X>, not the Concept<X><T> that would result from adding <T> as for the other kind of type-constraint) or a very different id-expression.

Proposed change:
Add a syntactic disambiguator, perhaps in the trivial form of Concept<,X> for the type-constraint case.

@wg21bot wg21bot changed the title US098 13 p6 US098 13 p6 Concept<X> as type-constraint vs. id-expression Oct 23, 2019
@wg21bot wg21bot added the EWG Evolution label Oct 23, 2019
@jfbastien jfbastien added the concepts Concepts label Oct 24, 2019
@jfbastien
Copy link
Collaborator

jfbastien commented Nov 4, 2019

EWG Monday: http://wiki.edg.com/bin/view/Wg21belfast/US098

US098 Does EWG want to consider it for C++20

F A
0 6

(note: many abstains)

No consensus for change.

@jensmaurer
Copy link
Member

jensmaurer commented Nov 7, 2019

Rejected. There was no consensus to adopt this change.

@jensmaurer jensmaurer added the Rejected No consensus for a change. label Nov 7, 2019
@jensmaurer jensmaurer added this to the CD C++20 milestone Sep 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
concepts Concepts EWG Evolution Rejected No consensus for a change.
Projects
None yet
Development

No branches or pull requests

3 participants