17 #include <limits>
35     using limits = std::numeric_limits<T>;  in signed_test()  typedef
59     static_assert(std::midpoint(limits::min(), limits::max()) == T(-1), "");  in signed_test()
60     static_assert(std::midpoint(limits::max(), limits::min()) == T( 0), "");  in signed_test()
62     static_assert(std::midpoint(limits::min(), T(6)) == limits::min()/2 + 3, "");  in signed_test()
63     assert(       std::midpoint(T(6), limits::min()) == limits::min()/2 + 3);  in signed_test()
64     assert(       std::midpoint(limits::max(), T(6)) == limits::max()/2 + 4);  in signed_test()
65     static_assert(std::midpoint(T(6), limits::max()) == limits::max()/2 + 3, "");  in signed_test()
67     assert(       std::midpoint(limits::min(), T(-6)) == limits::min()/2 - 3);  in signed_test()
68     static_assert(std::midpoint(T(-6), limits::min()) == limits::min()/2 - 3, "");  in signed_test()
69     static_assert(std::midpoint(limits::max(), T(-6)) == limits::max()/2 - 2, "");  in signed_test()
70     assert(       std::midpoint(T(-6), limits::max()) == limits::max()/2 - 3);  in signed_test()
84     using limits = std::numeric_limits<T>;  in unsigned_test()  typedef
85     const T half_way = (limits::max() - limits::min())/2;  in unsigned_test()
100     assert(std::midpoint(limits::min(), limits::max()) == T(half_way));  in unsigned_test()
101     assert(std::midpoint(limits::max(), limits::min()) == T(half_way + 1));  in unsigned_test()
103     static_assert(std::midpoint(limits::min(), T(6)) == limits::min()/2 + 3, "");  in unsigned_test()
104     assert(       std::midpoint(T(6), limits::min()) == limits::min()/2 + 3);  in unsigned_test()
105     assert(       std::midpoint(limits::max(), T(6)) == half_way + 4);  in unsigned_test()
106     static_assert(std::midpoint(T(6), limits::max()) == half_way + 3, "");  in unsigned_test()