From 402e6f20d27683bb3f7df632ed306a1521d99ade Mon Sep 17 00:00:00 2001
From: Michael Ferguson <mppf@users.noreply.github.com>
Date: Tue, 12 Dec 2023 10:27:50 -0500
Subject: [PATCH] Test that file.filePlugin compiles

---
Signed-off-by: Michael Ferguson <mppf@users.noreply.github.com>
---
 test/io/ferguson/filePlugin.chpl | 6 ++++++
 test/io/ferguson/filePlugin.good | 0
 2 files changed, 6 insertions(+)
 create mode 100644 test/io/ferguson/filePlugin.chpl
 create mode 100644 test/io/ferguson/filePlugin.good

diff --git a/test/io/ferguson/filePlugin.chpl b/test/io/ferguson/filePlugin.chpl
new file mode 100644
index 000000000000..0db138661f35
--- /dev/null
+++ b/test/io/ferguson/filePlugin.chpl
@@ -0,0 +1,6 @@
+// Just make sure that file.filePlugin compiles
+proc main() {
+  use IO;
+  var f = openTempFile();
+  var x = f.filePlugin();
+}
diff --git a/test/io/ferguson/filePlugin.good b/test/io/ferguson/filePlugin.good
new file mode 100644
index 000000000000..e69de29bb2d1