Home
last modified time | relevance | path

Searched refs:test_subsumption (Results 1 – 3 of 3) sorted by relevance

/llvm-project/libcxx/test/std/iterators/iterator.requirements/alg.req.mergeable/
H A Dmergeable.subsumption.compile.pass.cpp20 void test_subsumption() requires std::input_iterator<I1> && std::input_iterator<I2>;
23 void test_subsumption() requires std::weakly_incrementable<O>;
26 void test_subsumption() requires std::indirectly_copyable<I1, O> && std::indirectly_copyable<I2, O>;
29 void test_subsumption() requires std::indirect_strict_weak_order<I1, I2>;
32 constexpr bool test_subsumption() requires std::mergeable<I1, I2, O> { in test_subsumption() function
36 static_assert(test_subsumption<int*, int*, int*>());
/llvm-project/libcxx/test/std/iterators/iterator.requirements/alg.req.permutable/
H A Dpermutable.subsumption.compile.pass.cpp16 template<class I> void test_subsumption() requires std::forward_iterator<I>;
17 template<class I> void test_subsumption() requires std::indirectly_movable_storable<I, I>;
18 template<class I> void test_subsumption() requires std::indirectly_swappable<I, I>;
19 template<class I> constexpr bool test_subsumption() requires std::permutable<I> { return true; } in test_subsumption() function
20 static_assert(test_subsumption<int*>());
/llvm-project/libcxx/test/std/iterators/iterator.requirements/alg.req.sortable/
H A Dsortable.subsumption.compile.pass.cpp18 template <class I, class R, class P> void test_subsumption() requires std::permutable<I>;
20 template <class I, class R, class P> void test_subsumption()
23 template <class I, class R, class P> constexpr bool test_subsumption() requires std::sortable<I, R,… in test_subsumption() function
25 static_assert(test_subsumption<int*, std::ranges::less, std::identity>());