Imported From: https://issues.scala-lang.org/browse/SI-4980?orig=1
Reporter: Greg Price (price)

@paulp said:
An isInstanceOf test does not check that types have the same enclosing instance. Here is what it is saying.

class A { 
  class B
  def f(x: Any) = x.isInstanceOf[B]
  def g(x: Any) = x match { case _: B => true ; case _ => false }
}
val a1 = new A
val a2 = new A
val b2 = new a2.B

scala> a1.f(b2)
res0: Boolean = true

scala> a1.g(b2)
res1: Boolean = false

Greg Price (price) said:
Cool, thanks for the explanation.

Are you able to update the specification to reflect that? (At least for the next version, if you're real conservative about changes.) I'm not sure where the source lives or where the copy on the website (http://www.scala-lang.org/docu/files/ScalaReference.pdf) comes from.

@gkossakowski said:
Unassigning and rescheduling to M7 as previous deadline was missed.

@adriaanm said:
Thanks, clarified in upcoming markdown version of the spec