// RUN: %clang_cc1 -std=c++20 -Wfatal-errors -verify %s

template <typename> int a;
template <typename... b> concept c = a<b...>;
template <typename> concept e = c<>;

// must be a fatal error to trigger the crash
undefined; // expected-error {{a type specifier is required for all declarations}}

template <typename d> concept g = e<d>;
template <g> struct h
template <g d>
struct h<d>;