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 ```