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.
Signed-off-by: Christian Hagemeier <[email protected]>

mountpoint-s3/tests/reftests/harness.rs

@@ -576,7 +576,21 @@ 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.
+        let mut idx: i32 = -1;
+        for inflight_write in &self.inflight_writes.writes {
+            idx += 1;
+            if inflight_write.path == key_as_path {
+                break;
+            }
+        }
+
+        if idx != -1 {
+            self.inflight_writes.remove(InflightWriteIndex(idx as usize));
+        }
     }
 
     /// Perform a DeleteObject on the bucket, to simulate concurrent access to the bucket by a
@@ -1330,4 +1344,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,
+        );
+    }
 }