1// PR c++/20173
2
3template<typename AT>
4struct A{
5  template<typename T>
6  void function(T){}
7};
8
9template<>
10template<typename T>
11void A<int>::function(T){}
12
13template<>
14template<typename T>
15void A<double>::function(T*){} // { dg-error "match" }
16