From da2260db441503ba9d93b55db3ca49710eff23b2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 10 Aug 2020 10:10:08 +0200
Subject: [PATCH] make sure opening a file fails with isolation enabled

---
 tests/compile-fail/fs/isolated_file.rs | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/compile-fail/fs/isolated_file.rs

diff --git a/tests/compile-fail/fs/isolated_file.rs b/tests/compile-fail/fs/isolated_file.rs
new file mode 100644
index 000000000000..5b7270f18931
--- /dev/null
+++ 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();
+}