Add regression test for issue i18493 (#18497)

Closes #18493
scala · Sep 1, 2023 · d482108 · d482108
2 parents 4c77f62 + b93763a
commit d482108
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
+  }
+}