Lines Matching refs:requires
466 && requires(const remove_reference_t<_Tp>& __a,
483 && requires(const remove_reference_t<_Tp>& __t,
506 requires requires { typename __cmp3way_res_t<__cref<_Tp>, __cref<_Up>>; }
532 = requires(_Tp&& __t, _Up&& __u)
536 && ! requires(_Tp&& __t, _Up&& __u)
538 && ! requires(_Tp&& __t, _Up&& __u)
549 requires three_way_comparable_with<_Tp, _Up>
616 concept __adl_strong = requires(_Tp&& __t, _Up&& __u)
623 concept __adl_weak = requires(_Tp&& __t, _Up&& __u)
630 concept __adl_partial = requires(_Tp&& __t, _Up&& __u)
637 concept __cmp3way = requires(_Tp&& __t, _Up&& __u, compare_three_way __c)
948 requires __strongly_ordered<_Tp, _Up>
994 requires __weakly_ordered<_Tp, _Up>
1039 requires __partially_ordered<_Tp, _Up>
1057 concept __op_eq_lt = requires(_Tp&& __t, _Up&& __u)
1080 requires __strongly_ordered<_Tp, _Up> || __op_eq_lt<_Tp, _Up>
1112 requires __weakly_ordered<_Tp, _Up> || __op_eq_lt<_Tp, _Up>
1130 // 3465. compare_partial_order_fallback requires F < E
1133 && requires(_Tp&& __t, _Up&& __u)
1154 requires __partially_ordered<_Tp, _Up> || __op_eq_lt_lt<_Tp, _Up>
1213 requires requires