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 9bcf626 commit 56c861bCopy full SHA for 56c861b
tests/patmat/3144b.check
@@ -1,2 +1,2 @@
1
-5: Unchecked Type Pattern
2
-4: Match case Unreachable
+4: Unchecked Type Pattern
+10: Unchecked Type Pattern
tests/patmat/3144b.scala
@@ -1,6 +1,11 @@
class Test {
def f(x: Any): Int = x match {
3
case xs: List[Int] @unchecked => xs.head
4
+ case xs: Array[List[Int]] => 3
5
+ case _ => 0
6
+ }
7
+
8
+ def g(x: Any): Int = x match {
9
case xs: List[Int @unchecked] => xs.head
10
case xs: Array[List[Int]] => 3
11
case _ => 0
0 commit comments