Skip to content

regression in fields phase #268

Closed
Closed
@retronym

Description

@retronym
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

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions