diff --git a/examples/acceptance_tests/058/aiken.lock b/examples/acceptance_tests/058/aiken.lock
new file mode 100644
index 00000000..3a78b1e7
--- /dev/null
+++ b/examples/acceptance_tests/058/aiken.lock
@@ -0,0 +1,5 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+requirements = []
+packages = []
diff --git a/examples/acceptance_tests/058/aiken.toml b/examples/acceptance_tests/058/aiken.toml
new file mode 100644
index 00000000..745b0f3d
--- /dev/null
+++ b/examples/acceptance_tests/058/aiken.toml
@@ -0,0 +1,2 @@
+name = "aiken-lang/acceptance_test_058"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/058/lib/tests.ak b/examples/acceptance_tests/058/lib/tests.ak
new file mode 100644
index 00000000..d1b6422a
--- /dev/null
+++ b/examples/acceptance_tests/058/lib/tests.ak
@@ -0,0 +1,19 @@
+fn whatever(_xs) {
+  True
+}
+
+test foo() {
+  let xs = [1, 2, 3]
+  when xs is {
+    [x] -> x == 1
+    _ -> whatever(xs)
+  }
+}
+
+test bar() {
+  let xs = [1, 2, 3]
+  when xs is {
+    [x] -> x == 1
+    ys -> whatever(ys)
+  }
+}