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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
// RUN: %clang_cc1 -fsyntax-only -std=c++2b %s -verify
// RUN: %clang_cc1 -fsyntax-only -std=c++2b %s -verify -fexperimental-new-constant-interpreter
// expected-no-diagnostics
template <typename Base>
struct Wrap : Base {
};
struct S {
constexpr int f(this const S&) {
return 42;
}
constexpr int f(this const S&, auto&&... args) {
return (args + ... + 0);
}
constexpr int operator[](this const S&) {
return 42;
}
constexpr int operator[](this const S& self, int i) {
return i + self.base;
}
constexpr int operator()(this const S&) {
return 42;
}
constexpr int operator()(this const S& self, int i) {
return self.base + i;
}
constexpr bool operator==(this const S& self, auto && test) {
return self.base == test;
};
constexpr int operator*(this const S& self) {
return self.base + 22;
};
constexpr operator Wrap<S> (this const S& self) {
return Wrap<S>{self};
};
constexpr int operator <<(this Wrap<S> self, int i) {
return self.base+i;
}
int base = 20;
};
consteval void test() {
constexpr S s;
static_assert(s.f() == 42);
static_assert(s[] == 42);
static_assert(s[22] == 42);
static_assert(s.f() == 42);
static_assert(s() == 42);
static_assert(s(22) == 42);
static_assert(s == 20);
static_assert(s != 0);
static_assert(*s == 42);
static_assert((s << 11) == 31);
}
namespace GH68070 {
constexpr auto f = [x = 3]<typename Self>(this Self&& self) {
return x;
};
auto g = [x = 3]<typename Self>(this Self&& self) {
return x;
};
int test() {
constexpr int a = f();
static_assert(a == 3);
return f() + g();
}
}
|
