xref: /llvm-project/libcxx/test/std/containers/sequences/vector.bool/reference/triviality.compile.pass.cpp (revision 5d2b8fa155a57cf863ec2e3e367c663431ee8c31)
1 //===----------------------------------------------------------------------===//
2 //
3 // 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
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include <type_traits>
10 #include <vector>
11 
12 #include "test_macros.h"
13 
14 using Ref = std::vector<bool>::reference;
15 
16 LIBCPP_STATIC_ASSERT(!std::is_trivially_constructible<Ref>::value, "");
17 LIBCPP_STATIC_ASSERT(std::is_trivially_copy_constructible<Ref>::value, "");
18 LIBCPP_STATIC_ASSERT(std::is_trivially_move_constructible<Ref>::value, "");
19 LIBCPP_STATIC_ASSERT(!std::is_trivially_copy_assignable<Ref>::value, "");
20 LIBCPP_STATIC_ASSERT(!std::is_trivially_move_assignable<Ref>::value, "");
21 LIBCPP_STATIC_ASSERT(std::is_trivially_destructible<Ref>::value, "");
22