https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102007
Bug ID: 102007 Summary: ICE: in dependent_type_p, at cp/pt.c:26784 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: --- This may be a dup of something. template<class> concept A = true; template<class T = A> concept B = sizeof(T); static_assert(B<>); https://godbolt.org/z/Mze53c14x