Skip to content

Incorrect unpickling of path-dependent types #982

Closed
@VladimirNik

Description

@VladimirNik

In some cases after unpickling path-dependent types become type projections. Example:

trait Z {
  type Q
  def test: Q
}
class X(val x: Z)
class Y(x: Z) extends X(x) {
  x.test
}

x.test before pickling:

<<Y.this.x:=> Z>.test:=> Y.this.x.Q>

x.test after unpickling:

<<Y.this.x:=> Z>.test:=> Z#Q>

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions