commit 7506863fa450e8495c9849702784e5069543b843
author David Tolnay <dtolnay@gmail.com> Sat Dec 26 22:15:17 2020 -0800
committer David Tolnay <dtolnay@gmail.com> Sun Dec 27 12:20:25 2020 -0800
tree bac73c76fcddd1f261c3725548306e47282e153b
parent dd36736a99605edec460add73f5e29fd4b5929e6

Move is_complete type trait to header

gen/src/write.rs

diff --git a/gen/src/write.rs b/gen/src/write.rs
index 0083525..e20f54f 100644
--- a/gen/src/write.rs
+++ b/gen/src/write.rs
@@ -1622,7 +1622,7 @@
         };
         writeln!(
             out,
-            "static_assert(::rust::is_complete<{}>::value, \"definition of {} is required\");",
+            "static_assert(::rust::detail::is_complete<{}>::value, \"definition of {} is required\");",
             inner, definition,
         );
     }
@@ -1689,7 +1689,7 @@
         out.builtin.deleter_if = true;
         writeln!(
             out,
-            "  ::rust::deleter_if<::rust::is_complete<{}>::value>{{}}(ptr);",
+            "  ::rust::deleter_if<::rust::detail::is_complete<{}>::value>{{}}(ptr);",
             inner,
         );
     } else {