https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95497
Bug ID: 95497
Summary: [11 Regression] ICE: concepts with a fully known /
complete type in requires
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: gcc-bugs at marehr dot dialup.fu-berlin.de
Target Milestone: ---
Hello gcc-team,
the following code ICEs starting with gcc-11:
```c++
template <typename T>
struct A{};
template <typename T>
concept c =
requires(T t, A<int> b) // note that A<int> is independent of T
{
{ t += b };
};
```
https://godbolt.org/z/pQI1ee
Thank you!
