[Bug c++/92268] Constraint normalization substitutes parameter too early

2019-10-29 Thread jason at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92268 Jason Merrill changed: What|Removed |Added CC||jason at gcc dot gnu.org --- Comment #4

[Bug c++/92268] Constraint normalization substitutes parameter too early

2019-10-29 Thread andrew.n.sutton at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92268 Andrew Sutton changed: What|Removed |Added CC||andrew.n.sutton at gmail dot com --- Co

[Bug c++/92268] Constraint normalization substitutes parameter too early

2019-10-29 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92268 --- Comment #2 from Jonathan Wakely --- (Comment 1 was wrong) A workaround is to replace the compound-requirement with a simple-requirement that depends on a function constrained with the desired constraint: template void workaround(I) { } te

[Bug c++/92268] Constraint normalization substitutes parameter too early

2019-10-29 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92268 --- Comment #1 from Jonathan Wakely --- The workaround is to require that the common_reference_t types exist: template concept common_reference_with = // requires { typename common_reference_t; typename common_reference

[Bug c++/92268] Constraint normalization substitutes parameter too early

2019-10-29 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92268 Jonathan Wakely changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|