test/files/pos/sd268.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

class Context(val v : AnyRef)

trait AbidePlugin {
  val someVal = ""

       val x = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
  lazy val y = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
       var z = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
}

class C {
  val someVal = ""

       val x = null.asInstanceOf[Context { val v : someVal.type }]
  lazy val y = null.asInstanceOf[Context { val v : someVal.type }] // CRASH
       var z = null.asInstanceOf[Context { val v : someVal.type }]
}