fix(hax-lib/macros): handle correctly &mut Self arguments in ensures

cryspen · Jan 22, 2025 · 6ef83cf · 6ef83cf
1 parent 3aad8b7
commit 6ef83cf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hax-lib/macros/src/utils.rs b/hax-lib/macros/src/utils.rs
@@ -218,8 +218,6 @@ pub fn make_fn_decoration(
     mut generics: Option<Generics>,
     self_type: Option<Type>,
 ) -> (TokenStream, AttrPayload) {
-    let uid = ItemUid::fresh();
-    let mut_ref_inputs = unmut_references_in_inputs(&mut signature);
     let self_ident: Ident = syn::parse_quote! {self_};
     let error = {
         let mut rewriter = RewriteSelf::new(self_ident, self_type);
@@ -230,6 +228,8 @@ pub fn make_fn_decoration(
         }
         rewriter.get_error()
     };
+    let uid = ItemUid::fresh();
+    let mut_ref_inputs = unmut_references_in_inputs(&mut signature);
     let decoration = {
         let decoration_sig = {
             let mut sig = signature.clone();