Add regression test for issue 18493

[Cherry-picked b93763a]
scala · Jun 20, 2024 · c6ade8b · c6ade8b
1 parent 3dbb053
commit c6ade8b
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/tests/neg/18493.check b/tests/neg/18493.check
@@ -0,0 +1,8 @@
+-- [E030] Match case Unreachable Error: tests/neg/18493.scala:6:9 ------------------------------------------------------
+6 |    case "abc" => // error
+  |         ^^^^^
+  |         Unreachable case
+-- [E030] Match case Unreachable Error: tests/neg/18493.scala:12:9 -----------------------------------------------------
+12 |    case "abc" => // error
+   |         ^^^^^
+   |         Unreachable case
diff --git a/tests/neg/18493.scala b/tests/neg/18493.scala
@@ -0,0 +1,14 @@
+//> using options -Werror
+object PartialFunctionNoWarning {
+  // nice warning
+  "abc" match {
+    case "abc" =>
+    case "abc" => // error
+  }
+
+  // no warnings
+  val pf: PartialFunction[String, Unit] = {
+    case "abc" =>
+    case "abc" => // error
+  }
+}