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
|
//
// Copyright (c) 2019-2020 Kris Jusiak (kris at jusiak dot net)
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
#include <boost/ut.hpp>
template <class...>
struct list {};
int main() {
using namespace boost::ut;
static constexpr auto i = 42;
"type"_test = [] {
constexpr auto return_int = [] { return i; };
expect(type<>(i) == type<int>);
expect(type<int> == type<>(i));
expect(type<int> == return_int());
expect(type<float> != return_int());
};
"constant"_test = [] {
// clang-format off
expect(constant<42_i == i> and type<void> == type<void> and
type<list<void, int>> == type<list<void, int>>);
// clang-format on
};
#if defined(__cpp_concepts)
"compiles"_test = [] {
struct foo {
int value{};
};
struct bar {};
expect([](auto t) { return requires { t.value; }; }(foo{}));
expect(not[](auto t) { return requires { t.value; }; }(bar{}));
};
#endif
}
|
