1 2 3 4 5 6 7 8 9
// DR 1004 template <class T, template<class>class U = T::template B> struct A { }; template <class T> struct B { template <class U> friend struct B; }; A<B<int> > a;