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/concepts/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 = based::SameAs<based::invoke_result_t<T, Args...>, Res>;

18

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

20 {

21 // NOLINTBEGIN(*array*)

22 // clang-format off

23

24 STATIC_REQUIRE(test<int, decltype(func), double>);

25 STATIC_REQUIRE(test<int, decltype(func), int>);

26 STATIC_REQUIRE(!test<int, decltype(func), decltype(func)>);

27

28 // clang-format on

29 // NOLINTEND(*array*)

30 }