Scala Buggabot

@paulp said: Replying to [comment:10 moors]: > the compiler should report an unreachable code error for the example above, but the matching behaviour has keep following the semantics of Java's...

@paulp said: ]And I realize we could take the position that case x: Array[String] is "unchecked" the way it is with say List. But it just seems terribly perverse to...

@paulp said: OK, I see it in the spec now, although it seems awfully quiet. ```scala A parameterized type pattern scala.Array[T1], where T1 is a type pattern. This type pattern...

@paulp said: Noting for the record that martin has approved fixing this for pattern matching (with isInstanceOf doing the looser "java" match, which is consistent with the other places where...

@soc said (edited on Dec 1, 2011 8:04:09 PM UTC): Running this on ```scala scala -Yvirtpatmat Welcome to Scala version 2.10.0.r26093-b20111130020250 (OpenJDK 64-Bit Server VM, Java 1.7.0_147-icedtea). ``` Results in:...

@adriaanm said: null is not an array

@adriaanm said: so this is really a triple-whammy bug: 1. the spec should be updated, as currently I read it as specifying covariant matching for arrays: "A parameterized type pattern...

Imported From: https://issues.scala-lang.org/browse/SI-2398?orig=1 Reporter: @paulp See #1452, #1456, #1457, #1458, #6955, #6956

@adriaanm said: also applies when scrutinee is value class that unboxes to switchable type

Imported From: https://issues.scala-lang.org/browse/SI-9801?orig=1 Reporter: Cary Robbins (carymrobbins)