|
@@ -20,7 +20,7 @@ struct compressed_pair_element {
|
|
|
using const_reference = const Type &;
|
|
using const_reference = const Type &;
|
|
|
|
|
|
|
|
// NOLINTNEXTLINE(modernize-use-equals-default)
|
|
// NOLINTNEXTLINE(modernize-use-equals-default)
|
|
|
- constexpr compressed_pair_element() noexcept(std::is_nothrow_default_constructible_v<Type>)
|
|
|
|
|
|
|
+ constexpr compressed_pair_element() noexcept(stl::is_nothrow_default_constructible_v<Type>)
|
|
|
requires std::default_initializable<Type> {}
|
|
requires std::default_initializable<Type> {}
|
|
|
|
|
|
|
|
template<typename Arg>
|
|
template<typename Arg>
|
|
@@ -51,7 +51,7 @@ struct compressed_pair_element<Type, Tag>: Type {
|
|
|
using const_reference = const Type &;
|
|
using const_reference = const Type &;
|
|
|
using base_type = Type;
|
|
using base_type = Type;
|
|
|
|
|
|
|
|
- constexpr compressed_pair_element() noexcept(std::is_nothrow_default_constructible_v<base_type>)
|
|
|
|
|
|
|
+ constexpr compressed_pair_element() noexcept(stl::is_nothrow_default_constructible_v<base_type>)
|
|
|
requires std::default_initializable<Type>
|
|
requires std::default_initializable<Type>
|
|
|
: base_type{} {}
|
|
: base_type{} {}
|
|
|
|
|
|
|
@@ -104,7 +104,7 @@ public:
|
|
|
* This constructor is only available when the types that the pair stores
|
|
* This constructor is only available when the types that the pair stores
|
|
|
* are both at least default constructible.
|
|
* are both at least default constructible.
|
|
|
*/
|
|
*/
|
|
|
- constexpr compressed_pair() noexcept(std::is_nothrow_default_constructible_v<first_base> && std::is_nothrow_default_constructible_v<second_base>)
|
|
|
|
|
|
|
+ constexpr compressed_pair() noexcept(stl::is_nothrow_default_constructible_v<first_base> && stl::is_nothrow_default_constructible_v<second_base>)
|
|
|
requires std::default_initializable<first_type> && std::default_initializable<second_type>
|
|
requires std::default_initializable<first_type> && std::default_initializable<second_type>
|
|
|
: first_base{},
|
|
: first_base{},
|
|
|
second_base{} {}
|
|
second_base{} {}
|