1 // RUN: %clang_cc1 -std=c++11 %s -Wunused -verify 2 // expected-no-diagnostics 3 4 template<typename T, typename U> 5 struct is_same { 6 static const bool value = false; 7 }; 8 9 template<typename T> 10 struct is_same<T, T> { 11 static const bool value = true; 12 }; 13 14 void f3() { 15 float x, &r = x; 16 int i; 17 int &ir = i; 18 const int &irc = i; 19 20 [=,&irc,&ir] { 21 static_assert(is_same<decltype(((r))), float const&>::value, 22 "should be const float&"); 23 static_assert(is_same<decltype(x), float>::value, "should be float"); 24 static_assert(is_same<decltype((x)), const float&>::value, 25 "should be const float&"); 26 static_assert(is_same<decltype(r), float&>::value, "should be float&"); 27 static_assert(is_same<decltype(ir), int&>::value, "should be int&"); 28 static_assert(is_same<decltype((ir)), int&>::value, "should be int&"); 29 static_assert(is_same<decltype(irc), const int&>::value, 30 "should be const int&"); 31 static_assert(is_same<decltype((irc)), const int&>::value, 32 "should be const int&"); 33 }(); 34 35 [=] { 36 [=] () mutable { 37 static_assert(is_same<decltype(x), float>::value, "should be float"); 38 static_assert(is_same<decltype((x)), float&>::value, 39 "should be float&"); 40 }(); 41 }(); 42 43 [&i] { 44 static_assert(is_same<decltype((i)), int&>::value, "should be int&"); 45 }(); 46 } 47
