// PR c++/41815 | |
// { dg-options -std=c++0x } | |
template<typename T, typename U> struct same_type; | |
template<typename T> struct same_type<T, T> {}; | |
int const f() { return 0; } | |
int &&r = f(); // binding "int&&" to "int" should succeed | |
same_type<decltype(f()), int const> s1; | |
same_type<decltype(0,f()), int> s2; | |
template <class T> | |
T const g() { return 0; } | |
int &&r2 = g<int>(); | |
same_type<decltype(g<int>()), int const> s3; | |
same_type<decltype(0,g<int>()), int> s4; |