based

0 #define CATCH_CONFIG_RUNTIME_STATIC_REQUIRE

1

2 #include "based/trait/invoke_result.hpp"

3

4 #include <catch2/catch_test_macros.hpp>

5

6 #include "based/concept/is_same.hpp"

7

8 namespace

9 {

10

11 // NOLINTNEXTLINE(*needed*)

12 int func(double);

13

14 } // namespace

15

16 template<class Res, class T, class... Args>

17 concept Test =

18 based::trait::IsSame<based::trait::InvokeResult<T, Args...>, Res>;

19

20 TEST_CASE("invoke_result", "[trait/invoke_result]")

21 {

22 // NOLINTBEGIN(*array*)

23 // clang-format off

24

25 STATIC_REQUIRE(Test<int, decltype(func), double>);

26 STATIC_REQUIRE(Test<int, decltype(func), int>);

27 STATIC_REQUIRE(!Test<int, decltype(func), decltype(func)>);

28

29 // clang-format on

30 // NOLINTEND(*array*)

31 }