summaryrefslogtreecommitdiff
path: root/clang/test/CXX/expr/expr.prim/expr.prim.lambda/p18.cpp
blob: 930a4b32fa06cd128e7499463b8375b5468fe9d4 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
// RUN: %clang_cc1 -std=c++11 %s -Wunused -verify

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;
};

void f3() {
  float x, &r = x;
  int i;
  int &ir = i;
  const int &irc = i;

  [=,&irc,&ir] {
    static_assert(is_same<decltype(((r))), float const&>::value, 
                  "should be const float&");
    static_assert(is_same<decltype(x), float>::value, "should be float");
    static_assert(is_same<decltype((x)), const float&>::value, 
                  "should be const float&");
    static_assert(is_same<decltype(r), float&>::value, "should be float&");
    static_assert(is_same<decltype(ir), int&>::value, "should be int&");
    static_assert(is_same<decltype((ir)), int&>::value, "should be int&");
    static_assert(is_same<decltype(irc), const int&>::value, 
                  "should be const int&");
    static_assert(is_same<decltype((irc)), const int&>::value, 
                  "should be const int&");
  }();

  [=] {
    [=] () mutable {
      static_assert(is_same<decltype(x), float>::value, "should be float");
      static_assert(is_same<decltype((x)), float&>::value, 
                    "should be float&");
    }();
  }();

  [&i] {
    static_assert(is_same<decltype((i)), int&>::value, "should be int&");
  }();
}