From cb4e636d7885ec0ad73ead94e7b677534837f687 Mon Sep 17 00:00:00 2001
From: Christian Mazakas <christian.mazakas@gmail.com>
Date: Wed, 4 Jan 2023 11:13:25 -0800
Subject: [PATCH] Implement new type policy requirements for flat containers

---
 include/boost/unordered/unordered_flat_map.hpp | 17 +++++++++++++++++
 include/boost/unordered/unordered_flat_set.hpp | 17 +++++++++++++++++
 2 files changed, 34 insertions(+)

diff --git a/include/boost/unordered/unordered_flat_map.hpp b/include/boost/unordered/unordered_flat_map.hpp
index 13ad9c90..04bbc55c 100644
--- a/include/boost/unordered/unordered_flat_map.hpp
+++ b/include/boost/unordered/unordered_flat_map.hpp
@@ -60,6 +60,23 @@ namespace boost {
           return {std::move(const_cast<raw_key_type&>(x.first)),
             std::move(const_cast<raw_mapped_type&>(x.second))};
         }
+
+        template <class A>
+        static void construct(A& al, storage_type* p, moved_type&& x)
+        {
+          boost::allocator_construct(al, p, std::move(x));
+        }
+
+        template <class A, class... Args>
+        static void construct(A& al, storage_type* p, Args&&... args)
+        {
+          boost::allocator_construct(al, p, std::forward<Args>(args)...);
+        }
+
+        template <class A> static void destroy(A& al, storage_type* p) noexcept
+        {
+          boost::allocator_destroy(al, p);
+        }
       };
 
       using table_type = detail::foa::table<map_types, Hash, KeyEqual,
diff --git a/include/boost/unordered/unordered_flat_set.hpp b/include/boost/unordered/unordered_flat_set.hpp
index fd615bbd..d72eefe0 100644
--- a/include/boost/unordered/unordered_flat_set.hpp
+++ b/include/boost/unordered/unordered_flat_set.hpp
@@ -44,6 +44,23 @@ namespace boost {
 
         static Key const& extract(value_type const& key) { return key; }
         static Key&& move(value_type& x) { return std::move(x); }
+
+        template <class A>
+        static void construct(A& al, storage_type* p, Key&& x)
+        {
+          boost::allocator_construct(al, p, std::move(x));
+        }
+
+        template <class A, class... Args>
+        static void construct(A& al, storage_type* p, Args&&... args)
+        {
+          boost::allocator_construct(al, p, std::forward<Args>(args)...);
+        }
+
+        template <class A> static void destroy(A& al, storage_type* p) noexcept
+        {
+          boost::allocator_destroy(al, p);
+        }
       };
 
       using table_type = detail::foa::table<set_types, Hash, KeyEqual,