31     ASSERT_SAME_TYPE(decltype(std::midpoint(T(), T())), T);  in signed_test()
32     ASSERT_NOEXCEPT(          std::midpoint(T(), T()));  in signed_test()
35     static_assert(std::midpoint(one, three) == two, "");  in signed_test()
36     static_assert(std::midpoint(three, one) == two, "");  in signed_test()
38     assert(std::midpoint(zero, zero) == zero);  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()
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()
48     assert(std::midpoint(T( 3), T( 4)) == T(3));  in signed_test()
49     assert(std::midpoint(T( 4), T( 3)) == T(4));  in signed_test()
50     assert(std::midpoint(T(-3), T( 4)) == T(0));  in signed_test()
51     assert(std::midpoint(T(-4), T( 3)) == T(-1));  in signed_test()
52     assert(std::midpoint(T( 3), T(-4)) == T(0));  in signed_test()
53     assert(std::midpoint(T( 4), T(-3)) == T(1));  in signed_test()
54     assert(std::midpoint(T(-3), T(-4)) == T(-3));  in signed_test()
55     assert(std::midpoint(T(-4), T(-3)) == T(-4));  in signed_test()
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()
80     ASSERT_SAME_TYPE(decltype(std::midpoint(T(), T())), T);  in unsigned_test()
81     ASSERT_NOEXCEPT(          std::midpoint(T(), T()));  in unsigned_test()
85     static_assert(std::midpoint(one, three) == two, "");  in unsigned_test()
86     static_assert(std::midpoint(three, one) == two, "");  in unsigned_test()
88     assert(std::midpoint(zero, zero) == zero);  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()
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()
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()