https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67148
--- Comment #1 from Eric Niebler ---
If I replace the variadic Same concept with the binary one below, the problem
goes away.
template
concept bool Same() {
return __is_same_as(T,U);
}
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67148
--- Comment #2 from Casey Carter ---
Here's a somewhat minimized test case that illustrates that overload resolution
works correctly, but matching partial specializations of a class template or
variable template does not:
template
struct bool_
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67148
--- Comment #3 from Andrew Sutton ---
This seems to have been fixed at some point. All examples compile in the
concepts-cxx2a branch, which also has a test for this PR.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67148
Jonathan Wakely changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---