// PR c++/20157 template<typename AT> struct A{ template<typename T> void function(T); }; template<> template<typename ABC,typename DEF> void A<int>::function(ABC); // { dg-error "match" }