https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595
Paolo Carlini changed:
What|Removed |Added
Status|NEW |RESOLVED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595
--- Comment #6 from paolo at gcc dot gnu.org ---
Author: paolo
Date: Mon Oct 30 22:41:21 2017
New Revision: 254245
URL: https://gcc.gnu.org/viewcvs?rev=254245=gcc=rev
Log:
2017-10-30 Paolo Carlini
PR
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595
--- Comment #5 from Casey Carter ---
The original program submission is ill-formed due to the requirement on line
270 being poorly designed:
requires std::is_same::value;
for a random access
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595
Paolo Carlini changed:
What|Removed |Added
CC||paolo.carlini at oracle dot com
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595
--- Comment #2 from Markus Trippelsdorf ---
template concept bool allocatable = requires{ { new X }->X * };
template concept bool semiregular = allocatable;
template concept bool readable = requires{ requires semiregular };
template int
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595
--- Comment #3 from Markus Trippelsdorf ---
Or even more:
template concept bool allocatable = requires{{new X}->X * };
template concept bool semiregular = allocatable;
template concept bool readable = requires{requires semiregular};
template
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595
Markus Trippelsdorf changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|