[derive] Test TryFromBytes output on dataful enums (#1665)

Makes progress on #367, #1634
google · Sep 17, 2024 · 3c9f204 · 3c9f204
1 parent 6e78c01
commit 3c9f204
Show file tree

Hide file tree

Showing 3 changed files with 389 additions and 8 deletions.
diff --git a/zerocopy-derive/src/enum.rs b/zerocopy-derive/src/enum.rs
@@ -59,7 +59,7 @@ pub(crate) fn generate_tag_enum(repr: &EnumRepr, data: &DataEnum) -> TokenStream
         #[repr(#repr)]
         #[allow(dead_code)]
         enum ___ZerocopyTag {
-            #(#variants),*
+            #(#variants,)*
         }
     }
 }
@@ -305,9 +305,9 @@ pub(crate) fn derive_is_bit_valid(
 
             #tag_enum
 
-            type ___ZerocopyTagPrimitive = ::zerocopy::util::macro_util::SizeToTag<{
-                core_reexport::mem::size_of::<___ZerocopyTag>()
-            }>;
+            type ___ZerocopyTagPrimitive = ::zerocopy::util::macro_util::SizeToTag<
+                { core_reexport::mem::size_of::<___ZerocopyTag>() },
+            >;
 
             #tag_consts
 

diff --git a/zerocopy-derive/src/lib.rs b/zerocopy-derive/src/lib.rs
@@ -422,7 +422,7 @@ fn derive_try_from_bytes_struct(ast: &DeriveInput, strct: &DataStruct) -> proc_m
             // validities of its fields, so this is a sound implementation of
             // `is_bit_valid`.
             fn is_bit_valid<A: ::zerocopy::pointer::invariant::Aliasing + ::zerocopy::pointer::invariant::AtLeast<::zerocopy::pointer::invariant::Shared> >(
-                mut candidate: ::zerocopy::Maybe<Self, A>
+                mut candidate: ::zerocopy::Maybe<Self, A>,
             ) -> bool {
                 true #(&& {
                     // SAFETY: