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