https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68093
Patrick Palka changed:
What|Removed |Added
Status|NEW |RESOLVED
Target Milestone|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68093
Jeff Chapman changed:
What|Removed |Added
CC||jeff.chapman.bugs at gmail dot
com
--- C
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68093
--- Comment #4 from Jonathan Wakely ---
This is the accepts-invalid example from PR 86978:
template
struct S
{
template
requires false
friend void foobar(S, t2) {}
};
int main()
{
foobar(S{}, int{});
}
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68093
--- Comment #3 from Jonathan Wakely ---
*** Bug 86978 has been marked as a duplicate of this bug. ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68093
Jonathan Wakely changed:
What|Removed |Added
Keywords||rejects-valid
Status|UNCON
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68093
Hannes Hauswedell changed:
What|Removed |Added
CC||h2+bugs at fsfe dot org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68093
--- Comment #1 from Eric Niebler ---
Still happens on trunk, 2 years later:
template
concept bool True = true;
template
struct S {
friend bool operator==(S, int) requires True { return true; }
friend bool operator==(S, int) requires !True
