Closed
Description
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}
Metadata
Metadata
Assignees
Labels
No labels