Fixed false positive unreachable local object

I think this was fixed in PR 21000, but I didn't check.
dwijnand · Sep 3, 2024 · 54ae45d · 54ae45d
1 parent 8527a9b
commit 54ae45d
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/tests/warn/i21218.scala b/tests/warn/i21218.scala
@@ -0,0 +1,10 @@
+def Test[U, A](thisElem: A, thatElem: U) = {
+  case object passedEnd
+  val any: Seq[Any] = ???
+  any.zip(any)
+    .map {
+      case (`passedEnd`, r: U @unchecked) => (thisElem, r)
+      case (l: A @unchecked, `passedEnd`) => (l, thatElem)
+      case t: (A, U) @unchecked           => t // false-positive warning
+    }
+}