[Bug c++/101670] Internal compiler error with concepts

[fchelnokov at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101670

--- Comment #3 from Fedor Chelnokov  ---
A shorter example:

template  concept x = true;
void foo(x auto) {}

Online demo: https://godbolt.org/z/sT74G8crE

[Bug c++/101670] Internal compiler error with concepts

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101670

Martin Liška  changed:

   What|Removed |Added

 Ever confirmed|0   |1
 CC||jason at gcc dot gnu.org,
   ||marxin at gcc dot gnu.org
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2021-08-03

--- Comment #2 from Martin Liška  ---
Likely started with r10-3735-gcb57504a55015891.

[Bug c++/101670] Internal compiler error with concepts

[joeloser93 at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101670

Joe Loser  changed:

   What|Removed |Added

 CC||joeloser93 at gmail dot com

--- Comment #1 from Joe Loser  ---
Here's a simple workaround using concepts directly:

```
template  concept Complete = requires(T t) { sizeof(t); };
template  concept Incomplete = !Complete;
template  struct S {};

struct A;
S s1;

struct A {};
S s2;
```



See it live at https://gcc.godbolt.org/z/MjKoM8dP6