28     constexpr T three{3};  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()
44     assert(std::midpoint(four, one)    == three);  in signed_test()
45     assert(std::midpoint(three, four)  == three);  in signed_test()
46     assert(std::midpoint(four, three)  == four);  in signed_test()
77     constexpr T three{3};  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()
94     assert(std::midpoint(four, one)    == three);  in unsigned_test()
95     assert(std::midpoint(three, four)  == three);  in unsigned_test()
96     assert(std::midpoint(four, three)  == four);  in unsigned_test()