Types marked #[zerogc(copy)] never need drops

Derives was unessicarrily checking for this case...
DuckLogic · Sep 3, 2021 · fa8ec6f · fa8ec6f
1 parent dcfdd14
commit fa8ec6f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/libs/derive/src/derive.rs b/libs/derive/src/derive.rs
@@ -753,11 +753,13 @@ impl TraceDeriveInput {
         let traced_field_types = self.determine_field_types(false);
         let all_field_types = self.determine_field_types(true);
         let needs_trace = traced_field_types.iter().map(|ty| quote_spanned!(ty.span() => <#ty as zerogc::Trace>::NEEDS_TRACE));
-        let needs_drop = all_field_types.iter().map(|ty| if traced_field_types.contains(ty) {
+        let needs_drop = if self.is_copy {
+            quote!(false)
+        } else if all_field_types.iter().map(|ty| if traced_field_types.contains(ty)) {
             quote_spanned!(ty.span() => <#ty as zerogc::Trace>::NEEDS_DROP)
         } else {
             quote_spanned!(ty.span() => core::mem::needs_drop::<#ty>())
-        });
+        };
         let assoc_constants = if !immutable {
             Some(quote! {
                 const NEEDS_TRACE: bool = #(#needs_trace || )* false /* NOTE: Default to *false* if we have no GC types inside */;