--- /dev/null
+template <class T> struct A {
+ template <class U> struct B {
+ template <class V> void f (V) { }
+ void g () { }
+ };
+ template <class W> struct B<W*> {
+ void h () { }
+ };
+};
+
+main ()
+{
+ A<int>::B<char> b;
+ b.f (42);
+ b.g ();
+ A<double>::B<void*> b2;
+ b2.h ();
+}
--- /dev/null
+template <class T> struct A {
+ template <class U> struct B {
+ template <class V> struct C {
+ template <class W> struct D {
+ template <class X> struct E {
+ template <class Y> struct F {
+ template <class Z> void f (Z) { }
+ void g () { }
+ };
+ };
+ };
+ };
+ };
+};
+
+main ()
+{
+ A<int>::B<int>::C<int>::D<int>::E<int>::F<int> b;
+ b.f (42);
+ b.g ();
+}