Skip to content

assertion failed: missing outer accessor #22704

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
OndrejSpanel opened this issue Mar 4, 2025 · 3 comments
Open

assertion failed: missing outer accessor #22704

OndrejSpanel opened this issue Mar 4, 2025 · 3 comments
Labels
area:erasure itype:bug itype:crash stat:needs minimization Needs a self contained minimization

Comments

@OndrejSpanel
Copy link
Member

OndrejSpanel commented Mar 4, 2025 •
edited
Loading

Compiler version

3.6.3

Minimized code

I was not able to to minimize the code yet. However, this is what triggers the error:

Crashes:

class Assembly(val content: GeometryContent, val matContent: MaterialContent, val explicitName: Option[Name], val defBBox: Option[Box3D] = None) extends HasEquivalent[Assembly] {

Does not crash

class Assembly(val content: GeometryContent, val matContent: MaterialContent, val explicitName: Option[Name], val defBBox: Option[String] = None) extends HasEquivalent[Assembly] {
@OndrejSpanel OndrejSpanel added itype:bug itype:crash stat:needs triage Every issue needs to have an "area" and "itype" label labels Mar 4, 2025
@OndrejSpanel
Copy link
Member Author

OndrejSpanel commented Mar 5, 2025 •
edited
Loading

While checking which compiler version is affected, I got two different crashes got mixed up. The callstack reported originally in the first post is caused by #22727. The one belonging to this issue is:

     while compiling: C:\Dev\tempi\threeJVM\src\main\scala\net\gamatron\procas\curve\CurveEditFrame.scala
        during phase: erasure
                mode: Mode(ImplicitsEnabled)

java.lang.AssertionError: assertion failed: missing outer accessor in �[33mclass�[0m �[35mMethodSurfaces�[0m
scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
dotty.tools.dotc.transform.ExplicitOuter$.dotty$tools$dotc$transform$ExplicitOuter$$$outerParamAccessor(ExplicitOuter.scala:236)
dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.loop$1(ExplicitOuter.scala:460)
dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.path$extension(ExplicitOuter.scala:469)
dotty.tools.dotc.transform.Erasure$Typer.typedThis(Erasure.scala:814)
dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3501)
dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666)
Details ``` java.lang.AssertionError: assertion failed: missing outer accessor in �[33mclass�[0m �[35mMethodSurfaces�[0m scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8) dotty.tools.dotc.transform.ExplicitOuter$.dotty$tools$dotc$transform$ExplicitOuter$$$outerParamAccessor(ExplicitOuter.scala:236) dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.loop$1(ExplicitOuter.scala:460) dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.path$extension(ExplicitOuter.scala:469) dotty.tools.dotc.transform.Erasure$Typer.typedThis(Erasure.scala:814) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3501) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.transform.Erasure$Typer.typedSelect(Erasure.scala:679) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3475) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.transform.Erasure$Typer.typedSelect(Erasure.scala:679) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3475) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.$anonfun$48(Typer.scala:2388) dotty.tools.dotc.core.Decorators$.loop$1(Decorators.scala:99) dotty.tools.dotc.core.Decorators$.mapconserve(Decorators.scala:115) dotty.tools.dotc.typer.Typer.typedSeqLiteral(Typer.scala:2388) dotty.tools.dotc.transform.Erasure$Typer.typedSeqLiteral(Erasure.scala:895) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3522) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.typer.Typer.$anonfun$66(Typer.scala:2898) dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256) dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:2898) dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:972) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3482) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1430) dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1434) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3508) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.typer.Typer.$anonfun$66(Typer.scala:2898) dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256) dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:2898) dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:972) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3482) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3164) dotty.tools.dotc.transform.Erasure$Typer.typedClassDef(Erasure.scala:1061) dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3488) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3492) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1430) dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1434) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3508) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.typer.Typer.$anonfun$66(Typer.scala:2898) dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256) dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:2898) dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:972) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3482) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3164) dotty.tools.dotc.transform.Erasure$Typer.typedClassDef(Erasure.scala:1061) dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3488) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3492) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1430) dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1434) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3508) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.$anonfun$48(Typer.scala:2388) dotty.tools.dotc.core.Decorators$.loop$1(Decorators.scala:99) dotty.tools.dotc.core.Decorators$.mapconserve(Decorators.scala:115) dotty.tools.dotc.typer.Typer.typedSeqLiteral(Typer.scala:2388) dotty.tools.dotc.transform.Erasure$Typer.typedSeqLiteral(Erasure.scala:895) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3522) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.transform.Erasure$Typer.typedTyped(Erasure.scala:641) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3505) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.typer.Typer.typedValDef(Typer.scala:2835) dotty.tools.dotc.transform.Erasure$Typer.typedValDef(Erasure.scala:923) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3479) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1430) dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1434) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3508) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.transform.Erasure$Typer.typedTyped(Erasure.scala:641) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3505) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.transform.Erasure$Typer.typedTyped(Erasure.scala:641) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3505) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3659) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.ReTyper.typedInlined(ReTyper.scala:100) dotty.tools.dotc.transform.Erasure$Typer.typedInlined(Erasure.scala:914) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3523) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.$anonfun$48(Typer.scala:2388) dotty.tools.dotc.core.Decorators$.loop$1(Decorators.scala:99) dotty.tools.dotc.core.Decorators$.mapconserve(Decorators.scala:115) dotty.tools.dotc.typer.Typer.typedSeqLiteral(Typer.scala:2388) dotty.tools.dotc.transform.Erasure$Typer.typedSeqLiteral(Erasure.scala:895) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3522) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure$Typer.$anonfun$7(Erasure.scala:866) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160) dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161) dotty.tools.dotc.transform.Erasure$Typer.typedApply(Erasure.scala:866) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3500) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3715) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3164) dotty.tools.dotc.transform.Erasure$Typer.typedClassDef(Erasure.scala:1061) dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3488) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3492) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3164) dotty.tools.dotc.transform.Erasure$Typer.typedClassDef(Erasure.scala:1061) dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3488) dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3492) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3584) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3688) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3297) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3534) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3715) dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3734) dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085) dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3297) dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3534) dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3585) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3662) dotty.tools.dotc.typer.Typer.typed(Typer.scala:3666) dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3777) dotty.tools.dotc.transform.Erasure.run(Erasure.scala:146) dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:380) scala.runtime.function.JProcedure1.apply(JProcedure1.java:15) scala.runtime.function.JProcedure1.apply(JProcedure1.java:10) scala.collection.immutable.List.foreach(List.scala:334) dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:373) dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:343) scala.runtime.function.JProcedure1.apply(JProcedure1.java:15) scala.runtime.function.JProcedure1.apply(JProcedure1.java:10) scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323) dotty.tools.dotc.Run.runPhases$1(Run.scala:336) dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:383) dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:395) dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69) dotty.tools.dotc.Run.compileUnits(Run.scala:395) dotty.tools.dotc.Run.compileSources(Run.scala:282) dotty.tools.dotc.Run.compile(Run.scala:267) dotty.tools.dotc.Driver.doCompile(Driver.scala:37) dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141) dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22) sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91) sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:196) scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18) sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:252) sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:186) sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:166) sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:241) sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:166) sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:214) sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:542) sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:542) sbt.internal.inc.Incremental$.$anonfun$apply$3(Incremental.scala:178) sbt.internal.inc.Incremental$.$anonfun$apply$3$adapted(Incremental.scala:176) sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:454) sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:117) sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56) sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52) sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:265) sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:409) sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:496) sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:396) sbt.internal.inc.Incremental$.apply(Incremental.scala:204) sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:542) sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:496) sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332) sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:433) sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137) org.jetbrains.jps.incremental.scala.local.SbtCompiler.$anonfun$doCompile$3(SbtCompiler.scala:87) scala.util.Try$.apply(Try.scala:217) org.jetbrains.jps.incremental.scala.local.SbtCompiler.doCompile(SbtCompiler.scala:85) org.jetbrains.jps.incremental.scala.local.SbtCompiler.compile(SbtCompiler.scala:17) org.jetbrains.jps.incremental.scala.local.LocalServer.doCompile(LocalServer.scala:51) org.jetbrains.jps.incremental.scala.local.LocalServer.compile(LocalServer.scala:29) org.jetbrains.jps.incremental.scala.remote.Main$.compileLogic(Main.scala:210) org.jetbrains.jps.incremental.scala.remote.Main$.$anonfun$handleCommand$1(Main.scala:191) org.jetbrains.jps.incremental.scala.remote.Main$.decorated$1(Main.scala:178) org.jetbrains.jps.incremental.scala.remote.Main$.handleCommand(Main.scala:188) org.jetbrains.jps.incremental.scala.remote.Main$.serverLogic(Main.scala:161) org.jetbrains.jps.incremental.scala.remote.Main$.nailMain(Main.scala:101) org.jetbrains.jps.incremental.scala.remote.Main.nailMain(Main.scala) java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103) java.base/java.lang.reflect.Method.invoke(Method.java:580) com.facebook.nailgun.NGSession.runImpl(NGSession.java:312) com.facebook.nailgun.NGSession.run(NGSession.java:198) 

</details>

@OndrejSpanel OndrejSpanel changed the title unhandled exception while running MegaPhase assertion failed: missing outer accessor Mar 5, 2025
@OndrejSpanel
Copy link
Member Author

After I isolated the repro, I can see it needs airframe-surface macro library, I have therefore reported it there first as wvlet/airframe#3869

@Gedochao Gedochao added area:erasure stat:needs minimization Needs a self contained minimization and removed stat:needs triage Every issue needs to have an "area" and "itype" label labels Mar 6, 2025
@nob13
Copy link

nob13 commented Apr 22, 2025 •
edited
Loading

I have a similar crash, when I want to use derived information inside a case class companion. Should I open a new issue, or could this serve as the minimization?

This is the code:

trait HasName[T] {
  def name: String
}

object HasName {
  def derived[T]: HasName[T] = new HasName[T] {
    override def name: String = "done"
  }
}

abstract class CompanionBase[T](using hasName: => HasName[T]) {
  def name: String = hasName.name
}

class Foo {
  case class Sample(
      a: Int
  ) derives HasName

  object Sample extends CompanionBase[Sample] {}
}

It crashes both in Scala 3.6.4 and Scala 3.7.0-RC3

Here in 3.6.4

 unhandled exception while running erasure on rs$line$1

  An unhandled exception was thrown in the compiler.
  Please file a crash report here:
  https://github.com/scala/scala3/issues/new/choose
  For non-enriched exceptions, compile with -Xno-enrich-error-messages.


     while compiling: rs$line$1
        during phase: erasure
                mode: Mode(ImplicitsEnabled,ReadPositions,Interactive)
     library version: version 2.13.15
    compiler version: version 3.6.4
            settings: -Xcook-docs true -Xread-docs true -classpath /home/nos/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala3-library_3/3.6.4/scala3-library_3-3.6.4.jar:/home/nos/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.15/scala-library-2.13.15.jar -d <REPL compilation output>

Exception in thread "main" java.lang.AssertionError: assertion failed: missing outer accessor in class Foo
	at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
	at dotty.tools.dotc.transform.ExplicitOuter$.dotty$tools$dotc$transform$ExplicitOuter$$$outerParamAccessor(ExplicitOuter.scala:236)
	at dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.loop$1(ExplicitOuter.scala:460)
	at dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.path$extension(ExplicitOuter.scala:469)
	at dotty.tools.dotc.transform.Erasure$Typer.typedThis(Erasure.scala:814)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3524)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3608)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.transform.Erasure$Typer.typedSelect(Erasure.scala:679)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3498)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3607)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3801)
	at dotty.tools.dotc.typer.Typer.$anonfun$66(Typer.scala:2921)
	at dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
	at dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:2921)
	at dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:972)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3505)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3607)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3712)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3758)
	at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085)
	at dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1441)
	at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1445)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3531)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3608)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3801)
	at dotty.tools.dotc.typer.Typer.$anonfun$66(Typer.scala:2921)
	at dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
	at dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:2921)
	at dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:972)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3505)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3607)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3712)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3758)
	at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3187)
	at dotty.tools.dotc.transform.Erasure$Typer.typedClassDef(Erasure.scala:1061)
	at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3511)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3515)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3607)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3712)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3758)
	at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3187)
	at dotty.tools.dotc.transform.Erasure$Typer.typedClassDef(Erasure.scala:1061)
	at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3511)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3515)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3607)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3712)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3758)
	at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:1085)
	at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3320)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3557)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3608)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3801)
	at dotty.tools.dotc.transform.Erasure.run(Erasure.scala:146)
	at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:383)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.immutable.List.foreach(List.scala:334)
	at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:376)
	at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:343)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
	at dotty.tools.dotc.Run.runPhases$1(Run.scala:336)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:383)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:395)
	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:395)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:288)
	at dotty.tools.repl.ReplCompiler.compile(ReplCompiler.scala:88)
	at dotty.tools.repl.ReplDriver.compile(ReplDriver.scala:336)
	at dotty.tools.repl.ReplDriver.interpret(ReplDriver.scala:298)
	at dotty.tools.repl.ReplDriver.loop$1(ReplDriver.scala:216)
	at dotty.tools.repl.ReplDriver.runUntilQuit$$anonfun$1(ReplDriver.scala:219)
	at dotty.tools.repl.ReplDriver.withRedirectedOutput(ReplDriver.scala:253)
	at dotty.tools.repl.ReplDriver.runBody$$anonfun$1(ReplDriver.scala:227)
	at dotty.tools.runner.ScalaClassLoader$.asContext(ScalaClassLoader.scala:80)
	at dotty.tools.repl.ReplDriver.runBody(ReplDriver.scala:227)
	at dotty.tools.repl.ReplDriver.runUntilQuit(ReplDriver.scala:219)
	at dotty.tools.repl.ReplDriver.tryRunning(ReplDriver.scala:156)
	at dotty.tools.repl.Main$.main(Main.scala:7)
	at dotty.tools.repl.Main.main(Main.scala)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:erasure itype:bug itype:crash stat:needs minimization Needs a self contained minimization
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@nob13 @OndrejSpanel @Gedochao