Add ext_equal attr to atomic state_machine! generated State structs (#…

…1422) Co-authored-by: Jon Howell <howell@vmware.com>
verus-lang · Jan 31, 2025 · 59c71d8 · 59c71d8
1 parent e5221ab
commit 59c71d8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/source/state_machines_macros/src/to_token_stream.rs b/source/state_machines_macros/src/to_token_stream.rs
@@ -301,6 +301,7 @@ pub fn output_primary_stuff(
     let attrs = &bundle.sm.attrs;
     let code: TokenStream = quote_spanned! { sm.fields_named_ast.span() =>
         #[cfg_attr(verus_keep_ghost, verus::internal(verus_macro))]
+        #[verifier::ext_equal]
         #(#attrs)*
         pub struct State #gen {
             #(#fields),*