rust: bump msv

tcoratger · tcoratger · commit 0dcd659e48ed · 2025-08-18T23:06:07.000+02:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [workspace.package]
 version = "0.1.0"
 edition = "2024"
-rust-version = "1.85"
+rust-version = "1.87"
 license = "MIT OR Apache-2.0"
 
 [workspace]
diff --git a/crates/leanVm/src/memory/manager.rs b/crates/leanVm/src/memory/manager.rs
@@ -15,7 +15,7 @@ impl MemoryManager {
     /// # Returns
     /// * `usize` — the number of segments allocated in `self.memory`.
     #[must_use]
-    pub fn num_segments(&self) -> usize {
+    pub const fn num_segments(&self) -> usize {
         self.memory.data.len()
     }
 

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ impl MemoryManager {`
`15`	`15`	`/// # Returns`
`16`	`16`	/// * `usize` — the number of segments allocated in `self.memory`.
`17`	`17`	`#[must_use]`
`18`		`- pub fn num_segments(&self) -> usize {`
	`18`	`+ pub const fn num_segments(&self) -> usize {`
`19`	`19`	`self.memory.data.len()`
`20`	`20`	`}`
`21`	`21`