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

// <chrono>
// class month;

// constexpr month operator-(const month& x, const months& y) noexcept;
//   Returns: x + -y.
//
// constexpr months operator-(const month& x, const month& y) noexcept;
//   Returns: If x.ok() == true and y.ok() == true, returns a value m in the range
//   [months{0}, months{11}] satisfying y + m == x.
//   Otherwise the value returned is unspecified.
//   [Example: January - February == months{11}. -end example]

#include <chrono>
#include <cassert>
#include <type_traits>
#include <utility>

#include "test_macros.h"

using month  = std::chrono::month;
using months = std::chrono::months;

constexpr bool test() {
  month m{6};
  for (unsigned i = 1; i <= 12; ++i) {
    month m1 = m - months{i};
    assert(m1.ok());
    int exp = 6 - i;
    if (exp < 1)
      exp += 12;
    assert(static_cast<unsigned>(m1) == static_cast<unsigned>(exp));
  }

  //  Check the example
  assert(month{1} - month{2} == months{11});

  return true;
}

int main(int, char**) {
  ASSERT_NOEXCEPT(std::declval<month>() - std::declval<months>());
  ASSERT_NOEXCEPT(std::declval<month>() - std::declval<month>());

  ASSERT_SAME_TYPE(month, decltype(std::declval<month>() - std::declval<months>()));
  ASSERT_SAME_TYPE(months, decltype(std::declval<month>() - std::declval<month>()));

  test();
  static_assert(test());

  return 0;
}