https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105652

            Bug ID: 105652
           Summary: ICE: in is_base_type, at dwarf2out.cc:13400
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

template<int>
struct I {};

template<class T>
concept C = []<int N>(I<N>) { return true; } (I<0>{});

template<class T> 
struct S { };

template<C T>
struct S<T> { constexpr static bool value = true; };

static_assert(S<int>::value);

https://godbolt.org/z/T79svEnxj

Reply via email to