[Bug c++/94673] [concepts] What is the return type of local parameters of requires expressions?

2021-09-21 Thread gcc-bugs at marehr dot dialup.fu-berlin.de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94673 gcc-bugs at marehr dot dialup.fu-berlin.de changed: What|Removed |Added Resolution|--- |WORKSFORME

[Bug c++/94673] [concepts] What is the return type of local parameters of requires expressions?

2021-09-21 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94673 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org --- Comment

[Bug c++/94673] [concepts] What is the return type of local parameters of requires expressions?

2021-09-20 Thread gcc-bugs at marehr dot dialup.fu-berlin.de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94673 --- Comment #3 from gcc-bugs at marehr dot dialup.fu-berlin.de --- I think this bug should be changed to a request to improve the diagnostics. The diagnostic says: ``` :13:15: note: constraints not satisfied :8:9: required by the constraints

[Bug c++/94673] [concepts] What is the return type of local parameters of requires expressions?

2021-09-20 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94673 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot com ---

[Bug c++/94673] [concepts] What is the return type of local parameters of requires expressions?

2020-04-20 Thread gcc-bugs at marehr dot dialup.fu-berlin.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94673 --- Comment #1 from gcc-bugs at marehr dot dialup.fu-berlin.de --- After playing with this a bit more, I found out that clang actually behaves differently: ```c++ #include #include template concept same_as = std::is_same_v; template