https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93297
--- Comment #9 from John McFarlane <john at mcfarlane dot name> --- And here is an ICE in 10.2: struct a; template <typename = int> class b; template <class> b()->b<>; template <int> using c = b<a>; static_assert(c{} CL: g++ -v -std=c++2a source.cpp Online: https://godbolt.org/z/54aTr6