Assertion error when compiling config files in resident mode.

[odersky]

using this command in directory src/dotty/tools/dotc:

scala dotty.tools.dotc.Bench #runs 2 config/Properties.scala config/PathResolver.scala

We get an assertion error on the second run. here's the full output:

max constraint = Constraint(
uninstVars = String';
constrained types = [A](xs: A*)scala.collection.immutable.List[A],
[A1 >: String'](elem: A1)Boolean
;
constraint =
A
A1 >: String'
)
time elapsed: 2176ms
assertion failure for >: String <: String <:< A, frozen = false
: String <: String is a class dotty.tools.dotc.core.Types$CachedTypeBounds
polyparam A found in [A](self: A)ArrowAssoc[A]
assertion failure for (self: A)ArrowAssoc[A] <:< >: String <: String ?=>? >: String <: String, frozen = false
(self: A)ArrowAssoc[A] is a class dotty.tools.dotc.core.Types$CachedMethodType
: String <: String ?=>? >: String <: String is a class dotty.tools.dotc.typer.Inferencing$CachedViewProto
exception occured while typechecking dotc/config/PathResolver.scala
java.lang.AssertionError: assertion failed
at scala.Predef$.assert(Predef.scala:151)
at dotty.tools.dotc.core.Types$TypeBounds.(Types.scala:1870)
at dotty.tools.dotc.core.Types$CachedTypeBounds.(Types.scala:1962)
at dotty.tools.dotc.core.Uniques$TypeBoundsUniques.newBounds$1(Uniques.scala:84)
at dotty.tools.dotc.core.Uniques$TypeBoundsUniques.enterIfNew(Uniques.scala:90)
at dotty.tools.dotc.core.Types$TypeBounds$.apply(Types.scala:1978)`

[odersky]

The build passes, but I leave the issue open because we still have to find out why the problem arises only during 2nd run, and how it depends on file order.

[smarter]

Looks like it works now.