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