blob: 88396515010a4c856f95fb2965fb0aa7666ba7d5 (
plain) (
tree)
|
|
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 }]
}
|