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