1 // PR c++/56450 2 // { dg-do compile { target c++11 } } 3 4 template<typename T> 5 T&& declval(); 6 7 template<typename, typename> 8 struct is_same 9 { static constexpr bool value = false; }; 10 11 template<typename T> 12 struct is_same<T, T> 13 { static constexpr bool value = true; }; 14 15 struct A { static const int dummy = 0; }; 16 17 static_assert(is_same<decltype(declval<A>().dummy), const int>::value, ""); 18 static_assert(!is_same<decltype(declval<A>().dummy), const int&>::value, ""); 19