Fix more tests

MystenLabs · Oct 12, 2023 · c119853 · c119853
1 parent c8ca5a1
commit c119853
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/...nal-crates/move/move-prover/interpreter-testsuite/tests/concrete_check/global_basics.move b/...nal-crates/move/move-prover/interpreter-testsuite/tests/concrete_check/global_basics.move
@@ -56,7 +56,7 @@ module 0x2::A {
         borrow_global<R>(b).f2
     }
 
-    #[test, expected_failure]
+    #[test, expected_failure, allow(unused_mut_ref)]
     public fun borrow_mut_err(): u64 acquires R {
         let b = @0x2;
         borrow_global_mut<R>(b).f2

diff --git a/.../move/tools/move-cli/tests/sandbox_tests/print_stack_trace/scripts/print_stack_trace.move b/.../move/tools/move-cli/tests/sandbox_tests/print_stack_trace/scripts/print_stack_trace.move
@@ -3,6 +3,7 @@ use std::debug;
 use std::vector;
 use 0x2::N;
 
+#[allow(unused_mut_ref)]
 fun print_stack_trace() {
     let v = vector::empty();
     vector::push_back(&mut v, true);

diff --git a/external-crates/move/tools/move-cli/tests/sandbox_tests/print_stack_trace/sources/N.move b/external-crates/move/tools/move-cli/tests/sandbox_tests/print_stack_trace/sources/N.move
@@ -1,5 +1,5 @@
 address 0x2 {
-#[allow(unused_type_parameter)]
+#[allow(unused_type_parameter, unused_mut_ref)]
 module N {
     use 0x2::M;