1// { dg-do assemble } 2 3template <class T> 4struct S1 {}; 5 6template <class T, class U = S1<T> > 7struct S2 {}; 8 9template struct S2<100>; // { dg-error "" } type/value mismatch 10