1 // PR c++/71515
2 
3 template < typename, typename = int > struct A;
4 
5 template < typename T > struct A < T, typename A < T >::type >
6 {
7   A < int > *a;
8 };
9