diff --git a/rust-tests/cbmc-reg/Cast/fixme_path.rs b/rust-tests/cbmc-reg/Cast/fixme_path.rs
new file mode 100644
index 0000000000000..0c66d1d1e4050
--- /dev/null
+++ b/rust-tests/cbmc-reg/Cast/fixme_path.rs
@@ -0,0 +1,7 @@
+// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+use std::path::Path;
+
+fn main() {
+    let path = Path::new("./foo/bar.txt");
+}