Closed
Description
I created a minimal example project to demonstrate. The stacktrace I get is like this (complete stacktrace):
[info] exception occurred while compiling /media/brandon/portadrive/projects/ProjectGists/Scala/Dotty/DottyCats/src/main/scala/example/MyCats.scala
java.lang.AssertionError: assertion failed
at scala.Predef$.assert(Predef.scala:156)
at dotty.tools.dotc.core.Types$TypeBounds.<init>(Types.scala:3374)
at dotty.tools.dotc.core.Types$TypeAlias.<init>(Types.scala:3445)
at dotty.tools.dotc.core.Types$CachedTypeAlias.<init>(Types.scala:3471)
at dotty.tools.dotc.core.Uniques$TypeAliasUniques.newAlias$1(Uniques.scala:84)
at dotty.tools.dotc.core.Uniques$TypeAliasUniques.enterIfNew(Uniques.scala:85)
at dotty.tools.dotc.core.Types$TypeAlias$.apply(Types.scala:3485)
at dotty.tools.dotc.core.TypeApplications$.toBounds$extension(TypeApplications.scala:468)
at dotty.tools.dotc.core.TypeApplications$.matchParams$1(TypeApplications.scala:377)
at dotty.tools.dotc.core.TypeApplications$.op$14(TypeApplications.scala:438)
at dotty.tools.dotc.core.TypeApplications$.appliedTo$extension2(TypeApplications.scala:371)
at dotty.tools.dotc.core.TypeApplications$.safeAppliedTo$extension(TypeApplications.scala:457)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.readType(Scala2Unpickler.scala:748)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.readTypeRef$$anonfun$1(Scala2Unpickler.scala:867)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.atReadPos(Scala2Unpickler.scala:313)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.at(Scala2Unpickler.scala:303)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.readTypeRef(Scala2Unpickler.scala:867)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.readType(Scala2Unpickler.scala:780)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.readTypeRef$$anonfun$1(Scala2Unpickler.scala:867)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.atReadPos(Scala2Unpickler.scala:313)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.at(Scala2Unpickler.scala:303)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.readTypeRef(Scala2Unpickler.scala:867)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.readType(Scala2Unpickler.scala:780)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler.$anonfun$340(Scala2Unpickler.scala:551)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.atReadPos(Scala2Unpickler.scala:313)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.at(Scala2Unpickler.scala:303)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler.parseToCompletion$1(Scala2Unpickler.scala:551)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler.complete$$anonfun$11(Scala2Unpickler.scala:588)
at scala.compat.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler.atReadPos(Scala2Unpickler.scala:313)
at dotty.tools.dotc.core.unpickleScala2.Scala2Unpickler$LocalUnpickler.complete(Scala2Unpickler.scala:588)
at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:228)
at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:206)
at dotty.tools.dotc.core.Denotations$SingleDenotation.signature(Denotations.scala:603)
at dotty.tools.dotc.core.Denotations$SingleDenotation.matches(Denotations.scala:983)
at dotty.tools.dotc.core.Denotations$SingleDenotation.filterDisjoint(Denotations.scala:990)
at dotty.tools.dotc.core.Denotations$SingleDenotation.mapInherited(Denotations.scala:994)
at dotty.tools.dotc.core.Denotations$SingleDenotation.mapInherited(Denotations.scala:991)
at dotty.tools.dotc.core.SymDenotations$ClassDenotation.collect$2(SymDenotations.scala:1548)
at dotty.tools.dotc.core.SymDenotations$ClassDenotation.collect$2(SymDenotations.scala:1543)