[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333 Patrick Palka changed: What|Removed |Added CC||andrei.popa105 at yahoo dot com --- Comment #6 from Patrick Palka --- *** Bug 105111 has been marked as a duplicate of this bug. ***
[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment #5 from David Stone --- *** Bug 98987 has been marked as a duplicate of this bug. ***
[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333 Jason Merrill changed: What|Removed |Added Resolution|--- |INVALID Status|UNCONFIRMED |RESOLVED --- Comment #4 from Jason Merrill --- I agree with Jonathan's analysis.
[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333 --- Comment #3 from Jonathan Wakely --- The commit is: c++: Refinements to "more constrained". P2113 from the last C++ meeting clarified that we only compare constraints on functions or function templates that have equivalent template parameters and function parameters. And the relevant change is http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2113r0.html
[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333 Jonathan Wakely changed: What|Removed |Added Keywords|needs-bisection | --- Comment #2 from Jonathan Wakely --- Started with r11-1571 and I think G++ is correct to reject it. The second overload is not a more constrained version of the first, they're just ambiguous.
[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333 Richard Biener changed: What|Removed |Added Known to fail||10.2.0, 11.0 Summary|Regression on concepts |[10/11 Regression] |constraint checking |Regression on concepts ||constraint checking Known to work||10.1.0 Keywords||needs-bisection, ||rejects-valid Target Milestone|--- |10.3