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

Reply via email to