We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 60a8479 commit 49198f0Copy full SHA for 49198f0
tests/warn/i21218.scala
@@ -0,0 +1,10 @@
1
+def Test[U, A](thisElem: A, thatElem: U) = {
2
+ case object passedEnd
3
+ val any: Seq[Any] = ???
4
+ any.zip(any)
5
+ .map {
6
+ case (`passedEnd`, r: U @unchecked) => (thisElem, r)
7
+ case (l: A @unchecked, `passedEnd`) => (l, thatElem)
8
+ case t: (A, U) @unchecked => t // false-positive warning
9
+ }
10
+}
0 commit comments