1 // PR c++/20157 2 3 template<typename AT> 4 struct A{ 5 template<typename T> 6 void function(T); 7 }; 8 9 template<> 10 template<typename ABC,typename DEF> 11 void A<int>::function(ABC); // { dg-error "match" } 12