chore: bump rust toolchain

lurk-lang · Jan 25, 2024 · 3272418 · 3272418
1 parent d84a94f
commit 3272418
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/crates/bellpepper-core/src/lc.rs b/crates/bellpepper-core/src/lc.rs
@@ -63,6 +63,7 @@ impl<T> Indexer<T> {
     }
 
     pub fn iter(&self) -> impl Iterator<Item = (&usize, &T)> + '_ {
+        #[allow(clippy::map_identity)]
         self.values.iter().map(|(key, value)| (key, value))
     }
 

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -1,4 +1,4 @@
 [toolchain]
 # The default profile includes rustc, rust-std, cargo, rust-docs, rustfmt and clippy.
 profile = "default"
-channel = "1.73"
+channel = "1.75"
-Original file line number
+Diff line change
@@ Expand Up / @@ -63,6 +63,7 @@ impl<T> Indexer<T> { @@
         }
         pub fn iter(&self) -> impl Iterator<Item = (&usize, &T)> + '_ {
+            #[allow(clippy::map_identity)]
             self.values.iter().map(|(key, value)| (key, value))
         }
@@ Expand Down @@