blob: b08e77fe854a0299fd71bfe5e34e45ff8b4bbb4b [file] [log] [blame]
Marshall Clow5b08c172018-10-16 17:27:54 +00001//===----------------------------------------------------------------------===//
2//
Chandler Carruth57b08b02019-01-19 10:56:40 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Marshall Clow5b08c172018-10-16 17:27:54 +00006//
7//===----------------------------------------------------------------------===//
Mikhail Maltsevb7e43df2018-10-24 15:09:08 +00008// UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
Marshall Clow5b08c172018-10-16 17:27:54 +00009
10// <chrono>
11
12// using years = duration<signed integer type of at least 17 bits, ratio_multiply<ratio<146097, 400>, days::period>>
13
14#include <chrono>
15#include <type_traits>
16#include <limits>
17
Marshall Clow7fc6a552019-05-31 18:35:30 +000018#include "test_macros.h"
19
JF Bastien2df59c52019-02-04 20:31:13 +000020int main(int, char**)
Marshall Clow5b08c172018-10-16 17:27:54 +000021{
22 typedef std::chrono::years D;
23 typedef D::rep Rep;
24 typedef D::period Period;
25 static_assert(std::is_signed<Rep>::value, "");
26 static_assert(std::is_integral<Rep>::value, "");
27 static_assert(std::numeric_limits<Rep>::digits >= 17, "");
28 static_assert(std::is_same_v<Period, std::ratio_multiply<std::ratio<146097, 400>, std::chrono::days::period>>, "");
JF Bastien2df59c52019-02-04 20:31:13 +000029
30 return 0;
Marshall Clow5b08c172018-10-16 17:27:54 +000031}