diff --git a/test/chplcheck/UnusedFormalBug.bad b/test/chplcheck/UnusedFormalBug.bad
deleted file mode 100644
index b62dae67155..00000000000
--- a/test/chplcheck/UnusedFormalBug.bad
+++ /dev/null
@@ -1 +0,0 @@
-UnusedFormalBug.chpl:3: node violates rule UnusedFormal
diff --git a/test/chplcheck/UnusedFormalBug.chpl b/test/chplcheck/UnusedFormalBug.chpl
deleted file mode 100644
index 3f83eaf673b..00000000000
--- a/test/chplcheck/UnusedFormalBug.chpl
+++ /dev/null
@@ -1,6 +0,0 @@
-module UnusedFormalBug {
-  var A: [1..10] int;
-  proc foo(A) {
-    A[1] = 2;
-  }
-}
diff --git a/test/chplcheck/UnusedFormalBug.future b/test/chplcheck/UnusedFormalBug.future
deleted file mode 100644
index 1318759bdd6..00000000000
--- a/test/chplcheck/UnusedFormalBug.future
+++ /dev/null
@@ -1 +0,0 @@
-bug: `A[...]` should resolve to the formal
diff --git a/test/chplcheck/UnusedFormalBug.good b/test/chplcheck/UnusedFormalBug.good
deleted file mode 100644
index e69de29bb2d..00000000000