cleanup, removed once_cell related to move_model bump

.gitignore

@@ -54,4 +54,5 @@ output/
 *.bpl.log
 .sparse
 
-crates/sui-prover/tests/sources/*
+crates/sui-prover/tests/sources/*
+settings.local.json

Cargo.toml

@@ -42,7 +42,6 @@ colored = "2.0.0"
 tracing = "0.1.37"
 bimap = "0.6.2"
 serde = { version = "1.0.144", features = ["derive", "rc"] }
-once_cell = "1.18.0"
 toml = { version = "0.7.4", features = ["preserve_order"] }
 async-trait = "0.1.61"
 itertools = "0.13.0"

crates/move-model/CLAUDE.md

@@ -147,7 +147,7 @@ The crate defines well-known identifiers for:
 ## Important Design Patterns
 
 1. **Reference-based access**: `ModuleEnv`, `FunctionEnv` are references, not owned data
-2. **Lazy caching**: Call graphs computed on first access via `RefCell<Option<_>>`
+2. **LazyLock caching**: Call graphs computed on first access via `RefCell<Option<_>>`
 3. **Source mapping**: `FileId` → codespan Files database for error reporting
 4. **Extensions**: `BTreeMap<TypeId, Box<dyn Any>>` for tool-specific data
 

crates/move-model/Cargo.toml

@@ -3,9 +3,8 @@ name = "move-model"
 version = "0.1.0"
 authors = ["Diem Association <opensource@diem.com>"]
 publish = false
-edition = "2021"
+edition = "2024"
 license = "Apache-2.0"
-
 [lints]
 workspace = true
 
@@ -27,7 +26,6 @@ internment.workspace = true
 itertools.workspace = true
 log.workspace = true
 num.workspace = true
-once_cell.workspace = true
 regex.workspace = true
 anyhow.workspace = true
 serde.workspace = true

crates/move-model/src/ast.rs

@@ -10,10 +10,10 @@ use std::{
     fmt,
     fmt::{Debug, Error, Formatter},
     hash::Hash,
+    sync::LazyLock,
 };
 
 use num::{BigInt, BigUint, Num};
-use once_cell::sync::Lazy;
 
 use crate::{
     model::{GlobalId, NodeId},
@@ -99,8 +99,8 @@ impl ModuleName {
     /// Determine whether this is a script. The move-compiler infrastructure uses MAX_ADDR
     /// for pseudo modules created from scripts, so use this address to check.
     pub fn is_script(&self) -> bool {
-        static MAX_ADDR: Lazy<BigUint> =
-            Lazy::new(|| BigUint::from_str_radix(MAX_ADDR_STRING, 16).expect("valid hex"));
+        static MAX_ADDR: LazyLock<BigUint> =
+            LazyLock::new(|| BigUint::from_str_radix(MAX_ADDR_STRING, 16).expect("valid hex"));
         self.0 == *MAX_ADDR
     }
 }

crates/move-model/src/builder/exp_translator.rs

@@ -484,7 +484,7 @@ impl ExpTranslator<'_, '_, '_> {
                             return check_zero_args(self, Type::new_prim(PrimitiveType::U128));
                         }
                         "u256" => {
-                            return check_zero_args(self, Type::new_prim(PrimitiveType::U256))
+                            return check_zero_args(self, Type::new_prim(PrimitiveType::U256));
                         }
                         "num" => return check_zero_args(self, Type::new_prim(PrimitiveType::Num)),
                         "range" => {