is_nothrow_assignable.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSL-1.0
 
#ifndef TETL_TYPE_TRAITS_IS_NOTHROW_ASSIGNABLE_HPP
#define TETL_TYPE_TRAITS_IS_NOTHROW_ASSIGNABLE_HPP
 
#include <etl/_type_traits/bool_constant.hpp>
#include <etl/_type_traits/declval.hpp>
#include <etl/_type_traits/is_assignable.hpp>
 
namespace etl {

template <typename T, typename U>
struct is_nothrow_assignable : false_type { };
 
template <typename T, typename U>
    requires is_assignable_v<T, U>
struct is_nothrow_assignable<T, U> : bool_constant<noexcept(etl::declval<T>() = etl::declval<U>())> { };
 
template <typename T, typename U>
inline constexpr bool is_nothrow_assignable_v = is_nothrow_assignable<T, U>::value;
 
} // namespace etl
 
#endif // TETL_TYPE_TRAITS_IS_NOTHROW_ASSIGNABLE_HPP