27     constexpr T two{2};  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()
41     assert(std::midpoint(two, two)   == two);  in signed_test()
43     assert(std::midpoint(one, four)    == two);  in signed_test()
76     constexpr T two{2};  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()
91     assert(std::midpoint(two, two)   == two);  in unsigned_test()
93     assert(std::midpoint(one, four)    == two);  in unsigned_test()