remove polonius-the-crab

kitsune-soc · May 2, 2024 · dbcd7f4 · dbcd7f4
1 parent fbab2ba
commit dbcd7f4
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 39 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/lib/mrf-tool/Cargo.toml b/lib/mrf-tool/Cargo.toml
@@ -14,7 +14,6 @@ mrf-manifest = { path = "../mrf-manifest", features = [
     "encode",
     "serialise",
 ] }
-polonius-the-crab = "0.4.1"
 serde_json = "1.0.116"
 wasmparser = "0.206.0"
 

diff --git a/lib/mrf-tool/src/fs.rs b/lib/mrf-tool/src/fs.rs
@@ -1,4 +1,3 @@
-use polonius_the_crab::{polonius, polonius_return};
 use std::{
     collections::HashMap,
     fs::{self, File},
@@ -45,17 +44,7 @@ impl Filesystem for DummyFs {
 
     #[inline]
     fn create_or_truncate(&mut self, path: &Path) -> io::Result<Self::File<'_>> {
-        let mut this = self;
-        // TODO: Remove once we can FINALLY have polonius..
-        polonius!(|this| -> io::Result<&'polonius mut Vec<u8>> {
-            if let Some(value) = this.inner.get_mut(path) {
-                value.clear();
-                polonius_return!(Ok(value));
-            }
-        });
-
-        this.inner.insert(path.to_path_buf(), Vec::new());
-        this.create_or_truncate(path)
+        Ok(self.inner.entry(path.to_path_buf()).or_default())
     }
 
     #[inline]