From 48a7adfba72a81f69e1a7a67def269e2bc506db6 Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Sun, 4 Dec 2022 12:17:11 +0900
Subject: [PATCH] Fix typo

---
 tests/bug/infer_union_array.er | 7 +++++++
 tests/bug/inter_union_array.er | 5 -----
 2 files changed, 7 insertions(+), 5 deletions(-)
 create mode 100644 tests/bug/infer_union_array.er
 delete mode 100644 tests/bug/inter_union_array.er

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]