1 // DR 850 makes this valid
2 // { dg-do compile { target c++11 } }
3 
4 template<class T> struct A
5 {
6   int mem;
7   template<class U> decltype(U()+mem) f();
8 };
9 int i = A<int>().f<int>();
10 
11 // { dg-final { scan-assembler "_ZN1AIiE1fIiEEDTplcvT__E3memEv" } }
12