blob: 5016369268a48031afbfbd37525e6f3be27e82c3 [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
JF Bastien2df59c52019-02-04 20:31:13 +000018int main(int, char**)
Marshall Clow5b08c172018-10-16 17:27:54 +000019{
20 typedef std::chrono::years D;
21 typedef D::rep Rep;
22 typedef D::period Period;
23 static_assert(std::is_signed<Rep>::value, "");
24 static_assert(std::is_integral<Rep>::value, "");
25 static_assert(std::numeric_limits<Rep>::digits >= 17, "");
26 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 +000027
28 return 0;
Marshall Clow5b08c172018-10-16 17:27:54 +000029}