1 // PR c++/61433
2 // { dg-do compile { target c++11 } }
3 // { dg-options "-O -fcompare-debug -fno-inline -fno-ipa-pure-const -fipa-sra" }
4 
5 template <class T>
6 struct A
7 {
8   template <class V>
9   struct B
10   {
11     int MEM;
12   };
13 };
14 struct D {};
15 struct C: public A<int>::B<D>
16 {};
17 template <class T, class U, class V>
18 auto k(T t, U u, V v) -> decltype (t.U::template B<V>::MEM)
19 {}
main()20 int main()
21 {
22   k( C(), A<int>(), D() );
23 }
24