Skip to content

Wrong staging level when accessing type from class #4350

Closed
@biboudis

Description

@biboudis

When:

class F[T: Type] { '(null.asInstanceOf[T]) }

access to T from the class F is reported as a wrong level:

4 |  '(null.asInstanceOf[T])
  |                      ^
  |                      access to F.this from wrong staging level:
  |                       - the definition is at level 0,
  |                       - but the access is at level 1.

SImilarly:

class F {
  type T
  '(null.asInstanceOf[T])
}

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions