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
5template <class T>
6struct A
7{
8  template <class V>
9  struct B
10  {
11    int MEM;
12  };
13};
14struct D {};
15struct C: public A<int>::B<D>
16{};
17template <class T, class U, class V>
18auto k(T t, U u, V v) -> decltype (t.U::template B<V>::MEM)
19{}
20int main()
21{
22  k( C(), A<int>(), D() );
23}
24