Differential D100278 Diff 342544 libcxx/test/std/iterators/predef.iterators/reverse.iterators/iterator_concept_conformance.compile.pass.cpp

Changeset View

Standalone View

View Options

libcxx/test/std/iterators/predef.iterators/reverse.iterators/iterator_concept_conformance.compile.pass.cpp

Show All 21 Lines	[[nodiscard]] consteval bool common_reverse_iterator_checks() {
static_assert(std::sentinel_for<I1, I1>);		static_assert(std::sentinel_for<I1, I1>);
static_assert(std::sentinel_for<I1, std::reverse_iterator<float*>>);		static_assert(std::sentinel_for<I1, std::reverse_iterator<float*>>);
static_assert(!std::sized_sentinel_for<I1, std::reverse_iterator<float*>>);		static_assert(!std::sized_sentinel_for<I1, std::reverse_iterator<float*>>);
return true;		return true;
}		}

using reverse_bidirectional_iterator = std::reverse_iterator<bidirectional_iterator<int*>>;		using reverse_bidirectional_iterator = std::reverse_iterator<bidirectional_iterator<int*>>;
static_assert(common_reverse_iterator_checks<reverse_bidirectional_iterator>());		static_assert(common_reverse_iterator_checks<reverse_bidirectional_iterator>());
static_assert(std::forward_iterator<reverse_bidirectional_iterator>);		static_assert(std::bidirectional_iterator<reverse_bidirectional_iterator>);
static_assert(!std::sized_sentinel_for<reverse_bidirectional_iterator, reverse_bidirectional_iterator>);		static_assert(!std::sized_sentinel_for<reverse_bidirectional_iterator, reverse_bidirectional_iterator>);

using reverse_random_access_iterator = std::reverse_iterator<random_access_iterator<int*>>;		using reverse_random_access_iterator = std::reverse_iterator<random_access_iterator<int*>>;
static_assert(common_reverse_iterator_checks<reverse_random_access_iterator>());		static_assert(common_reverse_iterator_checks<reverse_random_access_iterator>());
static_assert(std::forward_iterator<reverse_random_access_iterator>);		static_assert(std::bidirectional_iterator<reverse_random_access_iterator>);
static_assert(std::sized_sentinel_for<reverse_random_access_iterator, reverse_random_access_iterator>);		static_assert(std::sized_sentinel_for<reverse_random_access_iterator, reverse_random_access_iterator>);

using reverse_contiguous_iterator = std::reverse_iterator<contiguous_iterator<int*>>;		using reverse_contiguous_iterator = std::reverse_iterator<contiguous_iterator<int*>>;
static_assert(common_reverse_iterator_checks<reverse_contiguous_iterator>());		static_assert(common_reverse_iterator_checks<reverse_contiguous_iterator>());
static_assert(std::forward_iterator<reverse_contiguous_iterator>);		static_assert(std::bidirectional_iterator<reverse_contiguous_iterator>);
static_assert(std::sized_sentinel_for<reverse_contiguous_iterator, reverse_contiguous_iterator>);		static_assert(std::sized_sentinel_for<reverse_contiguous_iterator, reverse_contiguous_iterator>);