[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

[david at doublewise dot net via Gcc-bugs]

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

[jason at gcc dot gnu.org via Gcc-bugs]

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

[redi at gcc dot gnu.org]

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

[redi at gcc dot gnu.org]

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

[rguenth at gcc dot gnu.org]

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