commit 0ecd05a9bf0096d5c05a44e82d4221cc291a9ef5
author David Tolnay <dtolnay@gmail.com> Wed Jul 29 16:32:03 2020 -0700
committer David Tolnay <dtolnay@gmail.com> Wed Jul 29 16:32:03 2020 -0700
tree 899fa8ee22ec9d7690b861fc32eaf2f5376cf63a
parent 2b87b16679a674a8cb838b72a6ff7dec5eccf717

Include <new> when placement new is used

gen/src/include.rs

diff --git a/gen/src/include.rs b/gen/src/include.rs
index 0ed76ac..4309c9c 100644
--- a/gen/src/include.rs
+++ b/gen/src/include.rs
@@ -56,6 +56,7 @@
     pub cstring: bool,
     pub exception: bool,
     pub memory: bool,
+    pub new: bool,
     pub string: bool,
     pub type_traits: bool,
     pub utility: bool,
@@ -106,6 +107,9 @@
         if self.memory {
             writeln!(f, "#include <memory>")?;
         }
+        if self.new {
+            writeln!(f, "#include <new>")?;
+        }
         if self.string {
             writeln!(f, "#include <string>")?;
         }