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