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