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#ifndef _LIBCPP___TYPE_TRAITS_IS_COPY_ASSIGNABLE_H
10#define _LIBCPP___TYPE_TRAITS_IS_COPY_ASSIGNABLE_H
11
12#include <__config>
13#include <__type_traits/add_const.h>
14#include <__type_traits/add_lvalue_reference.h>
15#include <__type_traits/integral_constant.h>
16
17#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
18#  pragma GCC system_header
19#endif
20
21_LIBCPP_BEGIN_NAMESPACE_STD
22
23template <class _Tp>
24struct _LIBCPP_TEMPLATE_VIS is_copy_assignable
25    : public integral_constant<
26          bool,
27          __is_assignable(__add_lvalue_reference_t<_Tp>,
28                          __add_lvalue_reference_t<typename add_const<_Tp>::type>)> {};
29
30#if _LIBCPP_STD_VER > 14
31template <class _Tp>
32inline constexpr bool is_copy_assignable_v = is_copy_assignable<_Tp>::value;
33#endif
34
35_LIBCPP_END_NAMESPACE_STD
36
37#endif // _LIBCPP___TYPE_TRAITS_IS_COPY_ASSIGNABLE_H
38