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