33     using limits = std::numeric_limits<T>;  in signed_test()  typedef
57     static_assert(std::midpoint(limits::min(), limits::max()) == T(-1), "");  in signed_test()
58     static_assert(std::midpoint(limits::max(), limits::min()) == T( 0), "");  in signed_test()
60     static_assert(std::midpoint(limits::min(), T(6)) == limits::min()/2 + 3, "");  in signed_test()
61     assert(       std::midpoint(T(6), limits::min()) == limits::min()/2 + 3);  in signed_test()
62     assert(       std::midpoint(limits::max(), T(6)) == limits::max()/2 + 4);  in signed_test()
63     static_assert(std::midpoint(T(6), limits::max()) == limits::max()/2 + 3, "");  in signed_test()
65     assert(       std::midpoint(limits::min(), T(-6)) == limits::min()/2 - 3);  in signed_test()
66     static_assert(std::midpoint(T(-6), limits::min()) == limits::min()/2 - 3, "");  in signed_test()
67     static_assert(std::midpoint(limits::max(), T(-6)) == limits::max()/2 - 2, "");  in signed_test()
68     assert(       std::midpoint(T(-6), limits::max()) == limits::max()/2 - 3);  in signed_test()
82     using limits = std::numeric_limits<T>;  in unsigned_test()  typedef
83     const T half_way = (limits::max() - limits::min())/2;  in unsigned_test()
98     assert(std::midpoint(limits::min(), limits::max()) == T(half_way));  in unsigned_test()
99     assert(std::midpoint(limits::max(), limits::min()) == T(half_way + 1));  in unsigned_test()
101     static_assert(std::midpoint(limits::min(), T(6)) == limits::min()/2 + 3, "");  in unsigned_test()
102     assert(       std::midpoint(T(6), limits::min()) == limits::min()/2 + 3);  in unsigned_test()
103     assert(       std::midpoint(limits::max(), T(6)) == half_way + 4);  in unsigned_test()
104     static_assert(std::midpoint(T(6), limits::max()) == half_way + 3, "");  in unsigned_test()