Add failing proptest

Adds a failing proptest, which occured as we did not remove inflight writes to a file, if it was overriden by a PutObject. Fixes this by invalidating such writes.
Signed-off-by: Christian Hagemeier <[email protected]>

mountpoint-s3/tests/reftests/harness.rs

@@ -157,6 +157,10 @@ impl InflightWrites {
         let index = self.index(index).unwrap();
         self.writes.remove(index)
     }
+
+    fn invalidate(&mut self, path: PathBuf) {
+        self.writes.retain(|write| write.path != path);
+    }
 }
 
 #[derive(Debug)]
@@ -576,7 +580,11 @@ impl Harness {
         self.client.add_object(&key, object.clone());
         self.reference.add_remote_key(&key, object);
         // Any local directories along the path are made remote by adding this object
-        self.reference.remove_local_parents(key_as_path);
+        self.reference.remove_local_parents(key_as_path.clone());
+        // If we overwrite a file that is currently part of an inflight write
+        // we have to remove that inflight write, as otherwise we fail when opening the
+        // ino to continue writing.
+        self.inflight_writes.invalidate(key_as_path);
     }
 
     /// Perform a DeleteObject on the bucket, to simulate concurrent access to the bucket by a
@@ -1330,4 +1338,25 @@ mod mutations {
             0,
         )
     }
+
+    #[test]
+    fn regression_stale_ino() {
+        run_test(
+            TreeNode::Directory(BTreeMap::from([])),
+            vec![
+                Op::CreateFile(
+                    ValidName("a".into()),
+                    DirectoryIndex(0),
+                    FileContent(0, FileSize::Small(0)),
+                ),
+                Op::PutObject(
+                    DirectoryIndex(0),
+                    Name("a/a".into()),
+                    FileContent(0, FileSize::Small(0)),
+                ),
+                Op::FinishWrite(InflightWriteIndex(0)),
+            ],
+            0,
+        );
+    }
 }