Add regression test for model-checking/kani#21 (rust-lang#22)

celinval · Apr 8, 2021 · 6a4606f · 6a4606f
1 parent 216e3e9
commit 6a4606f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/rust-tests/cbmc-reg/Cast/fixme_path.rs 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");
+}