fix more compiler complaints

starcoinorg · Jul 30, 2024 · f8df5bc · f8df5bc
1 parent 7cfeab6
commit f8df5bc
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 5 deletions.
diff --git a/language/move-model/src/builder/exp_translator.rs b/language/move-model/src/builder/exp_translator.rs
@@ -87,7 +87,7 @@ impl<'env, 'translator, 'module_translator> ExpTranslator<'env, 'translator, 'mo
             node_counter_start,
             accessed_locals: BTreeSet::new(),
             outer_context_scopes: 0,
-            /// Following flags used to translate pure Move functions.
+            // Following flags used to translate pure Move functions.
             translating_fun_as_spec_fun: false,
             errors_generated: RefCell::new(false),
             called_spec_funs: BTreeSet::new(),

diff --git a/language/move-prover/bytecode/src/verification_analysis.rs b/language/move-prover/bytecode/src/verification_analysis.rs
@@ -371,7 +371,7 @@ impl VerificationAnalysisProcessor {
         targets: &mut FunctionTargetsHolder,
     ) {
         // TODO(mengxu): re-check the treatment of fixedpoint here
-        let mut info = data
+        let info = data
             .annotations
             .get_or_default_mut::<VerificationInfo>(true);
         if !info.verified {

diff --git a/language/move-prover/bytecode/src/verification_analysis_v2.rs b/language/move-prover/bytecode/src/verification_analysis_v2.rs
@@ -738,7 +738,7 @@ fn mark_verified(
     // The user can override with `pragma verify = false`, so respect this.
     let options = ProverOptions::get(fun_env.module_env.env);
     if !actual_env.is_explicitly_not_verified(&options.verify_scope) {
-        let mut info = targets
+        let info = targets
             .get_data_mut(&actual_env.get_qualified_id(), &variant)
             .expect("function data available")
             .annotations

diff --git a/language/tools/move-cli/src/sandbox/utils/mod.rs b/language/tools/move-cli/src/sandbox/utils/mod.rs
@@ -2,7 +2,6 @@
 // Copyright (c) The Move Contributors
 // SPDX-License-Identifier: Apache-2.0
 
-use crate::sandbox::utils::on_disk_state_view::OnDiskStateView;
 use anyhow::{bail, Result};
 use colored::Colorize;
 use difference::{Changeset, Difference};
@@ -381,7 +380,6 @@ pub(crate) fn explain_publish_error(
             }
 
             while let Some((cur, is_exit)) = stack.pop() {
-
                 let cur_id = cur.self_id();
                 if is_exit {
                     state.insert(cur_id, false);