diff --git a/tests/bug/infer_union_array.er b/tests/bug/infer_union_array.er
new file mode 100644
index 00000000..7e01ecd3
--- /dev/null
+++ b/tests/bug/infer_union_array.er
@@ -0,0 +1,7 @@
+f x: [{""}; _] = None
+
+arr = ["aaa"]
+for! arr, elem =>
+    # elem: Never
+    a = ["", elem] # [{"", "aaa"}; 2]
+    f a
diff --git a/tests/bug/inter_union_array.er b/tests/bug/inter_union_array.er
deleted file mode 100644
index da66612b..00000000
--- a/tests/bug/inter_union_array.er
+++ /dev/null
@@ -1,5 +0,0 @@
-f x: [Str; _] = None
-
-arr = ["aaa"]
-for! arr, elem =>
-    f ["", elem]