1 //===----------------------------------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
11 #include <test_macros.h>
13 // UNSUPPORTED: c++98, c++03, c++11, c++14
14 // The following compilers don't like "std::byte b1{1}"
15 // UNSUPPORTED: clang-3.5, clang-3.6, clang-3.7, clang-3.8
16 // UNSUPPORTED: apple-clang-6, apple-clang-7, apple-clang-8.0
18 // template <class IntegerType>
19 // constexpr byte operator <<(byte b, IntegerType shift) noexcept;
20 // These functions shall not participate in overload resolution unless
21 // is_integral_v<IntegerType> is true.
24 constexpr std::byte b1{1};
25 constexpr std::byte b3{3};
27 static_assert(noexcept(b3 << 2), "" );
29 static_assert(std::to_integer<int>(b1 << 1) == 2, "");
30 static_assert(std::to_integer<int>(b1 << 2) == 4, "");
31 static_assert(std::to_integer<int>(b3 << 4) == 48, "");
32 static_assert(std::to_integer<int>(b3 << 6) == 192, "");