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