//===----------------------------------------------------------------------===//
//
// 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

// template<class I1, class I2>
// concept indirectly_swappable;

#include <iterator>

#include "test_macros.h"

template<class T, class ValueType = T>
struct PointerTo {
  using value_type = ValueType;
  T& operator*() const;
};

static_assert(std::indirectly_swappable<PointerTo<int>>);
static_assert(std::indirectly_swappable<PointerTo<int>, PointerTo<int>>);

struct B;

struct A {
  friend void iter_swap(const PointerTo<A>&, const PointerTo<A>&);
};

// Is indirectly swappable.
struct B {
  friend void iter_swap(const PointerTo<B>&, const PointerTo<B>&);
  friend void iter_swap(const PointerTo<A>&, const PointerTo<B>&);
  friend void iter_swap(const PointerTo<B>&, const PointerTo<A>&);
};

// Valid except ranges::iter_swap(i2, i1).
struct C {
  friend void iter_swap(const PointerTo<C>&, const PointerTo<C>&);
  friend void iter_swap(const PointerTo<A>&, const PointerTo<C>&);
  friend void iter_swap(const PointerTo<C>&, const PointerTo<A>&) = delete;
};

// Valid except ranges::iter_swap(i1, i2).
struct D {
  friend void iter_swap(const PointerTo<D>&, const PointerTo<D>&);
  friend void iter_swap(const PointerTo<A>&, const PointerTo<D>&) = delete;
  friend void iter_swap(const PointerTo<D>&, const PointerTo<A>&);
};

// Valid except ranges::iter_swap(i2, i2).
struct E {
  E operator=(const E&) = delete;
  friend void iter_swap(const PointerTo<E>&, const PointerTo<E>&) = delete;
  friend void iter_swap(const PointerTo<A>&, const PointerTo<E>&);
  friend void iter_swap(const PointerTo<E>&, const PointerTo<A>&);
};

struct F {
  friend void iter_swap(const PointerTo<F>&, const PointerTo<F>&) = delete;
};

// Valid except ranges::iter_swap(i1, i1).
struct G {
  friend void iter_swap(const PointerTo<G>&, const PointerTo<G>&);
  friend void iter_swap(const PointerTo<F>&, const PointerTo<G>&);
  friend void iter_swap(const PointerTo<G>&, const PointerTo<F>&);
};


static_assert( std::indirectly_swappable<PointerTo<A>, PointerTo<B>>);
static_assert(!std::indirectly_swappable<PointerTo<A>, PointerTo<C>>);
static_assert(!std::indirectly_swappable<PointerTo<A>, PointerTo<D>>);
static_assert(!std::indirectly_swappable<PointerTo<A>, PointerTo<E>>);
static_assert(!std::indirectly_swappable<PointerTo<A>, PointerTo<G>>);