We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 372e437 + 81e02c6 commit 902e332Copy full SHA for 902e332
tests/warn/i15661.scala
@@ -0,0 +1,7 @@
1
+case class Composite[T](l: List[T], v: T)
2
+
3
+def m(composite: Composite[?]): Unit =
4
+ composite match {
5
+ case Composite(l: List[Int], v: Int) => println(v) // warn: type test for List[Int] cannot be checked at runtime
6
+ case _ => println("This is not Int") // was: warn: Unreachable case except for null
7
+ }
0 commit comments