https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92771
Jonathan Wakely changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92771
--- Comment #2 from Jonathan Wakely ---
(In reply to Jonathan Wakely from comment #1)
> trunk accepts with -fconcepts (?!?)
At r276764 it started to be accepted with -std=gnu++14 -fconcepts but is still
rejected with -std=gnu++17 -fconcepts or
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92771
--- Comment #1 from Jonathan Wakely ---
Reduced:
template
concept one_or_two = true;
template
concept one = one_or_two;
template
constexpr void
foo()
{
if (one) // OK
{ }
if (one_or_two) // ERROR
{ }
}
gcc-8-branch accepts this with
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92771
Jonathan Wakely changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|