Closed
Description
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])
}