1 // PR c++/53563 2 3 template<class T> 4 struct s 5 { 6 template<class U> ss7 s(){} 8 }; 9 main()10 int main() { 11 struct s<void>::s<int> a; // { dg-error "no match" } 12 } 13