https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371
Bug ID: 95371
Summary: [10 Regression] ICE concepts with template template
parameter
Product: gcc
Version: 10.1.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: ---
Hallo gcc-team,
the following code worked with gcc9, but ICEs with gcc 10.1 and in trunk
```c++
template <typename...>
struct configuration {
template <template <typename...> typename query_t>
static constexpr bool exists() { return true; }
template <template <typename...> typename query_t>
void remove() requires(exists<query_t>());
};
int main() {
configuration<> cfg{};
cfg.remove<configuration>();
}
```
https://godbolt.org/z/NGU5i9
```
> g++-10 -std=c++2a
<source>: In function 'int main()':
<source>:12:31: internal compiler error: Segmentation fault
12 | cfg.remove<configuration>();
| ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
```
