Differential D102809 Diff 351877 libcxx/test/std/iterators/iterator.requirements/alg.req.ind.move/indirectly_movable.compile.pass.cpp

Changeset View

Standalone View

View Options

libcxx/test/std/iterators/iterator.requirements/alg.req.ind.move/indirectly_movable.compile.pass.cpp

This file was added.

				//===----------------------------------------------------------------------===//
				//
				// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
				// See https://llvm.org/LICENSE.txt for license information.
				// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
				//
				//===----------------------------------------------------------------------===//

				// UNSUPPORTED: c++03, c++11, c++14, c++17
				// UNSUPPORTED: libcpp-no-concepts
				// UNSUPPORTED: gcc-10

				// template<class In, class Out>
				// concept indirectly_movable;

				#include <iterator>

				#include "test_macros.h"

				struct IndirectlyMovableWithInt {
				int& operator*() const;
				};

				struct Empty {};

				struct MoveOnlyConvertible;
				struct AssignableToMoveOnly;

				struct MoveOnly {
				MoveOnly(MoveOnly&&) = default;
				MoveOnly(MoveOnly const&) = delete;
				MoveOnly& operator=(MoveOnly&&) = default;
				MoveOnly& operator=(MoveOnly const&) = delete;
				MoveOnly() = default;

				MoveOnly& operator=(MoveOnlyConvertible const&) = delete;
				MoveOnly& operator=(AssignableToMoveOnly const&);
				};

				struct MoveOnlyWrapper {
				using value_type = MoveOnly;
				MoveOnly& operator*() const;
				};

				static_assert( std::indirectly_movable<int, int>);
				static_assert( std::indirectly_movable<const int, int >);
				static_assert(!std::indirectly_movable<int, const int >);
				static_assert(!std::indirectly_movable<const int, const int >);
				static_assert( std::indirectly_movable<int*, int[2]>);
				static_assert(!std::indirectly_movable<int[2], int*>);
				static_assert(!std::indirectly_movable<int[2], int[2]>);
				static_assert(!std::indirectly_movable<int(&)[2], int(&)[2]>);
				static_assert(!std::indirectly_movable<int, int*>);
				static_assert(!std::indirectly_movable<int, int>);
				static_assert( std::indirectly_movable<Empty, Empty>);
				static_assert(!std::indirectly_movable<Empty*, IndirectlyMovableWithInt>);
				static_assert( std::indirectly_movable<int*, IndirectlyMovableWithInt>);
				static_assert( std::indirectly_movable<MoveOnly, MoveOnly>);
				static_assert(!std::indirectly_movable<MoveOnly, const MoveOnly>);
				static_assert(!std::indirectly_movable<const MoveOnly, const MoveOnly>);
				static_assert(!std::indirectly_movable<const MoveOnly, MoveOnly>);
				static_assert( std::indirectly_movable<MoveOnlyWrapper, MoveOnlyWrapper>);
				static_assert( std::indirectly_movable<MoveOnly*, MoveOnlyWrapper>);