Auto merge of #1506 - RalfJung:test-isolation, r=RalfJung

make sure opening a file fails with isolation enabled
rust-lang · Aug 10, 2020 · 50f3796 · 50f3796
2 parents 1edd231 + da2260d
commit 50f3796
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tests/compile-fail/fs/isolated_file.rs b/tests/compile-fail/fs/isolated_file.rs
@@ -0,0 +1,6 @@
+// ignore-windows: File handling is not implemented yet
+// error-pattern: `open` not available when isolation is enabled
+
+fn main() {
+    let _file = std::fs::File::open("file.txt").unwrap();
+}