Skip to content

Scala2Unpickler failure when using cats_2.11 in dotty #2803

Closed
@bbarker

Description

@bbarker

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)

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions