Scala Buggabot

@retronym said: Unfortunately we had to revert this due to #7516. Right now, I don't see a straight forward way to deliver this fix without breaking that again.

Imported From: https://issues.scala-lang.org/browse/SI-6139?orig=1 Reporter: @adriaanm

@retronym said: An example from the mailing lists: ```scala sealed trait EntityRef { type RefId } trait ProductRef extends EntityRef { type RefId = Boolean } object SomeAction { implicit...

Imported From: https://issues.scala-lang.org/browse/SI-3968?orig=1 Reporter: @paulp

@paulp said: Inspection reveals this is happening because java is burning us once again: scala is generating the instanceof operator, and according to the JVM an Array[String] is indeed an...

@paulp said: In case anyone's on the edge of their seat, I have this all fixed and there is good news and bad news. I lack the time for a...

@paulp said: Also, the patch at a point where everything works approximately as I expect is available here: http://github.com/scala/scala/commit/927db662c607160bdc8ddb17dd96637516bcd821 The test case it passes: http://github.com/scala/scala/blob/927db662c607160bdc8ddb17dd96637516bcd821/test/files/run/array-match-variance.scala

@adriaanm said: (note: this is pending for discussion at a meeting where Martin is present, probably next week)

@paulp said: Replying to [comment:6 moors]: > (note: this is pending for discussion at a meeting where Martin is present, probably next week) OK, thanks for the info. As a...

@adriaanm said: the compiler should report an unreachable code error for the example above, but the matching behaviour has keep following the semantics of Java's instanceof, such is the oath...