1 //===----------------------------------------------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // UNSUPPORTED: c++03, c++11, c++14, c++17
17 #include <type_traits>
20 #include "test_macros.h"
21 #include "compare_types.h"
23 #include "pointer_comparison_test_helper.h"
25 struct NotTotallyOrdered
{
26 friend bool operator<(const NotTotallyOrdered
&, const NotTotallyOrdered
&);
29 static_assert(!std::is_invocable_v
<std::ranges::less_equal
, NotTotallyOrdered
, NotTotallyOrdered
>);
30 static_assert(!std::is_invocable_v
<std::ranges::less_equal
, int, MoveOnly
>);
31 static_assert(std::is_invocable_v
<std::ranges::less_equal
, explicit_operators
, explicit_operators
>);
33 static_assert(requires
{ typename
std::ranges::less_equal::is_transparent
; });
35 constexpr bool test() {
36 auto fn
= std::ranges::less_equal();
38 assert(fn(MoveOnly(41), MoveOnly(42)));
40 // These are the opposite of other tests.
41 ForwardingTestObject a
;
42 ForwardingTestObject b
;
44 assert(!fn(std::move(a
), std::move(b
)));
55 int main(int, char**) {
58 static_assert(test());
60 // test total ordering of int* for less_equal<int*> and less_equal<void>.
61 do_pointer_comparison_test(std::ranges::less_equal());