| // PR c++/67853 | |
| // { dg-do compile { target c++11 } } | |
| template<typename T, typename U> | |
| struct is_same | |
| { | |
| static const bool value = false; | |
| }; | |
| template<typename T> | |
| struct is_same<T, T> | |
| { | |
| static const bool value = true; | |
| }; | |
| struct Member {}; | |
| struct A { Member x; }; | |
| A MakeA(); | |
| static_assert(is_same<decltype((MakeA().x)), Member&&>::value, ""); |