1 // PR c++/33959
2 
3 template <typename T> struct A
4 {
5   struct C
6   {
7     template <typename U> struct D {};
8   };
9   template <typename S> static C::D<S> bar (S const &);
10 };
11 
12 struct E {};
13 
14 int
main()15 main ()
16 {
17   E e;
18   A<E>::bar (e);
19 }
20