1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2 // expected-no-diagnostics
3 
4 template<typename T, typename U> struct is_same {
5   static const bool value = false;
6 };
7 
8 template<typename T> struct is_same<T, T> {
9   static const bool value = true;
10 };
11 
12 struct S {
fS13   void f() { static_assert(is_same<decltype(this), S*>::value, ""); }
gS14   void g() const { static_assert(is_same<decltype(this), const S*>::value, ""); }
hS15   void h() volatile { static_assert(is_same<decltype(this), volatile S*>::value, ""); }
iS16   void i() const volatile { static_assert(is_same<decltype(this), const volatile S*>::value, ""); }
17 };
18