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