```scala class Context(val v: AnyRef) trait AbidePlugin { val someVal = "" val xxx = null.asInstanceOf[Context { val v: someVal.type }] // or lazy val } ``` Crashes with: ``` Exception in thread "main" scala.reflect.internal.Types$TypeError: type mismatch; found : Context{val v(): AbidePlugin.this.someVal.type} required: Context{val v(): AbidePlugin.this.someVal.type} ```