26     constexpr T one{1};  in signed_test()  local
35     static_assert(std::midpoint(one, three) == two, "");  in signed_test()
36     static_assert(std::midpoint(three, one) == two, "");  in signed_test()
39     assert(std::midpoint(zero, two)  == one);  in signed_test()
40     assert(std::midpoint(two, zero)  == one);  in signed_test()
43     assert(std::midpoint(one, four)    == two);  in signed_test()
44     assert(std::midpoint(four, one)    == three);  in signed_test()
75     constexpr T one{1};  in unsigned_test()  local
85     static_assert(std::midpoint(one, three) == two, "");  in unsigned_test()
86     static_assert(std::midpoint(three, one) == two, "");  in unsigned_test()
89     assert(std::midpoint(zero, two)  == one);  in unsigned_test()
90     assert(std::midpoint(two, zero)  == one);  in unsigned_test()
93     assert(std::midpoint(one, four)    == two);  in unsigned_test()
94     assert(std::midpoint(four, one)    == three);  in unsigned_test()