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