Orphan PolyParam when typing overloaded array apply

[odersky]

dotc ../pending/pos/t8230a.scala
error while pickling type T
error when pickling type T'
error when pickling tree Arr.apply[T']
error when pickling tree Arr.applyT'
error when pickling tree I.arrToTravString'
error when pickling tree Test.foo(I.arrToTravString')
error when pickling tree () extends Object() { this: Test.Okay.type =>
Arr.applyString'
import I.{arrToTrav, longArrToTrav}
Test.foo(I.arrToTravString')
}
error when pickling tree final module class Okay$() extends Object() { this: Test.Okay.type =>
Arr.applyString'
import I.{arrToTrav, longArrToTrav}
Test.foo(I.arrToTravString')
}
error when pickling tree () extends Object() { this: Test.type =>
def foo(t: scala.collection.Traversable[Any]): Unit = {
()
}
final lazy module val Okay: Test.Okay$ = new Test.Okay$()
final module class Okay$() extends Object() { this: Test.Okay.type =>
Arr.applyString'
import I.{arrToTrav, longArrToTrav}
Test.foo(I.arrToTravString')
}
final lazy module val Fail: Test.Fail$ = new Test.Fail$()
final module class Fail$() extends Object() { this: Test.Fail.type =>
import I.arrToTrav
Test.foo(I.arrToTravString')
}
}
error when pickling tree final module class Test$() extends Object() { this: Test.type =>
def foo(t: scala.collection.Traversable[Any]): Unit = {
()
}
final lazy module val Okay: Test.Okay$ = new Test.Okay$()
final module class Okay$() extends Object() { this: Test.Okay.type =>
Arr.applyString'
import I.{arrToTrav, longArrToTrav}
Test.foo(I.arrToTravString')
}
final lazy module val Fail: Test.Fail$ = new Test.Fail$()
final module class Fail$() extends Object() { this: Test.Fail.type =>
import I.arrToTrav
Test.foo(I.arrToTravString')
}
}
error when pickling tree package {
final lazy module val Test: Test$ = new Test$()
final module class Test$() extends Object() { this: Test.type =>
def foo(t: scala.collection.Traversable[Any]): Unit = {
()
}
final lazy module val Okay: Test.Okay$ = new Test.Okay$()
final module class Okay$() extends Object() { this: Test.Okay.type =>
Arr.applyString'
import I.{arrToTrav, longArrToTrav}
Test.foo(I.arrToTravString')
}
final lazy module val Fail: Test.Fail$ = new Test.Fail$()
final module class Fail$() extends Object() { this: Test.Fail.type =>
import I.arrToTrav
Test.foo(I.arrToTravString')
}
}
}
exception occurred while compiling ../pending/pos/t8230a.scala
Exception in thread "main" java.lang.AssertionError: assertion failed: orphan poly parameter: PolyParam(T)
at scala.Predef$.assert(Predef.scala:165)
at dotty.tools.dotc.core.tasty.TreePickler.pickleNewType$1(TreePickler.scala:253)
at dotty.tools.dotc.core.tasty.TreePickler.dotty$tools$dotc$core$tasty$TreePickler$$pickleType$1(TreePickler.scala:132)
at dotty.tools.dotc.core.tasty.TreePickler.dotty$tools$dotc$core$tasty$TreePickler$$pickleTpt$1(TreePickler.scala:288)