1 2 3 4 5 6 7 8 9 10 11
// 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" }