1 // PR c++/41815
2 // { dg-options -std=c++0x }
3 
4 template<typename T, typename U> struct same_type;
5 template<typename T> struct same_type<T, T> {};
6 
7 int const f() { return 0; }
8 
9 int &&r = f(); // binding "int&&" to "int" should succeed
10 same_type<decltype(f()), int> s1;
11 same_type<decltype(0,f()), int> s2;
12 
13 template <class T>
14 T const g() { return 0; }
15 
16 int &&r2 = g<int>();
17 same_type<decltype(g<int>()), int> s3;
18 same_type<decltype(0,g<int>()), int> s4;
19