Assertion failure in LazyAnnotation.tree #24719
Description
Compiler version
3.8.0-RC3
3.8.1-RC1-bin-20251209-07883c1-NIGHTLY
Minimized code
Not minimized yet.
The failure happens when compiling the community project stdlib213 (https://github.com/dotty-staging/scala213/tree/3f6bdaeafde17d790023cc3f299b81eaaf876ca3/src/library) with flags "-feature", "-Werror", "-deprecation", "-nowarn", "-language:implicitConversions", "-source", "3.3".
It works in 3.3.7 and 3.7.4.
Output
[info] exception occurred while typechecking /Users/mbovel/scala3-benchmarks/bench-sources/stdlib213/src/library/scala/Array.scala
[info]
[info] An unhandled exception was thrown in the compiler.
[info] Please file a crash report here:
[info] https://github.com/scala/scala3/issues/new/choose
[info] For non-enriched exceptions, compile with -Xno-enrich-error-messages.
[info]
[info]
[info] while compiling: /Users/mbovel/scala3-benchmarks/bench-sources/stdlib213/src/library/scala/Array.scala
[info] during phase: typer
[info] mode: Mode(ImplicitsEnabled)
[info] library version: version 3.8.1-RC1-bin-20251209-07883c1-NIGHTLY
[info] compiler version: version 3.8.1-RC1-bin-20251209-07883c1-NIGHTLY-git-07883c1
[info] settings: -Werror true -classpath /Users/mbovel/scala3-benchmarks/bench-sources/stdlib213/target/scala-3.8.1-RC1-bin-20251209-07883c1-NIGHTLY/classes:/Users/mbovel/Library/Caches/Coursier/v1/https/repo.scala-lang.org/artifactory/maven-nightlies/org/scala-lang/scala3-library_3/3.8.1-RC1-bin-20251209-07883c1-NIGHTLY/scala3-library_3-3.8.1-RC1-bin-20251209-07883c1-NIGHTLY.jar:/Users/mbovel/Library/Caches/Coursier/v1/https/repo.scala-lang.org/artifactory/maven-nightlies/org/scala-lang/scala-library/3.8.1-RC1-bin-20251209-07883c1-NIGHTLY/scala-library-3.8.1-RC1-bin-20251209-07883c1-NIGHTLY.jar -d /Users/mbovel/scala3-benchmarks/bench-sources/stdlib213/target/scala-3.8.1-RC1-bin-20251209-07883c1-NIGHTLY/classes -deprecation true -feature true -language List(implicitConversions) -nowarn true -source 3.3
[error] ## Exception when compiling 567 sources to /Users/mbovel/scala3-benchmarks/bench-sources/stdlib213/target/scala-3.8.1-RC1-bin-20251209-07883c1-NIGHTLY/classes
[error] java.lang.AssertionError: assertion failed
[error] scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:13)
[error] dotty.tools.dotc.core.Annotations$LazyAnnotation.tree(Annotations.scala:187)
[error] dotty.tools.dotc.core.Annotations$Annotation$Child$.unapply(Annotations.scala:293)
[error] dotty.tools.dotc.typer.Namer.insertInto$1(Namer.scala:491)
[error] dotty.tools.dotc.typer.Namer.addChild(Namer.scala:502)
[error] dotty.tools.dotc.typer.Namer$Completer.register$1(Namer.scala:978)
[error] dotty.tools.dotc.typer.Namer$Completer.registerIfChildInCreationContext$$anonfun$1(Namer.scala:987)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.immutable.List.foreach(List.scala:327)
[error] dotty.tools.dotc.typer.Namer$Completer.registerIfChildInCreationContext(Namer.scala:987)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:875)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.core.Types$NamedType.info(Types.scala:2472)
[error] dotty.tools.dotc.core.Types$TermLambda.dotty$tools$dotc$core$Types$TermLambda$$_$compute$1(Types.scala:4134)
[error] dotty.tools.dotc.core.Types$TermLambda.foldArgs$2(Types.scala:4141)
[error] dotty.tools.dotc.core.Types$TermLambda.dotty$tools$dotc$core$Types$TermLambda$$_$compute$1(Types.scala:4795)
[error] dotty.tools.dotc.core.Types$TermLambda.dotty$tools$dotc$core$Types$TermLambda$$depStatus(Types.scala:4163)
[error] dotty.tools.dotc.core.Types$TermLambda.dependencyStatus(Types.scala:4177)
[error] dotty.tools.dotc.core.Types$TermLambda.isResultDependent(Types.scala:4199)
[error] dotty.tools.dotc.core.Types$TermLambda.isResultDependent$(Types.scala:4091)
[error] dotty.tools.dotc.core.Types$MethodType.isResultDependent(Types.scala:4251)
[error] dotty.tools.dotc.typer.TypeAssigner.assignType(TypeAssigner.scala:308)
[error] dotty.tools.dotc.typer.TypeAssigner.assignType$(TypeAssigner.scala:18)
[error] dotty.tools.dotc.typer.Typer.assignType(Typer.scala:163)
[error] dotty.tools.dotc.ast.tpd$.Apply(tpd.scala:49)
[error] dotty.tools.dotc.core.tasty.TreeUnpickler.dotty$tools$dotc$core$tasty$TreeUnpickler$TreeReader$$_$constructorApply$1(TreeUnpickler.scala:1394)
[error] dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.readLengthTree$1(TreeUnpickler.scala:1498)
[error] dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.readTree(TreeUnpickler.scala:1708)
[error] dotty.tools.dotc.core.tasty.TreeUnpickler.$anonfun$16$$anonfun$1(TreeUnpickler.scala:789)
[error] dotty.tools.dotc.core.tasty.TreeUnpickler$LazyReader.complete(TreeUnpickler.scala:1848)
[error] dotty.tools.dotc.core.tasty.TreeUnpickler.$anon$superArg$2$1$$anonfun$1(TreeUnpickler.scala:791)
[error] dotty.tools.dotc.core.Annotations$LazyAnnotation.tree(Annotations.scala:191)
[error] dotty.tools.dotc.core.Annotations$Annotation$Child$.unapply(Annotations.scala:293)
[error] dotty.tools.dotc.typer.Namer.insertInto$1(Namer.scala:491)
[error] dotty.tools.dotc.typer.Namer.addChild(Namer.scala:502)
[error] dotty.tools.dotc.typer.Namer$Completer.register$1(Namer.scala:978)
[error] dotty.tools.dotc.typer.Namer$Completer.registerIfChildInCreationContext$$anonfun$1(Namer.scala:987)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.immutable.List.foreach(List.scala:327)
[error] dotty.tools.dotc.typer.Namer$Completer.registerIfChildInCreationContext(Namer.scala:987)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:875)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:403)
[error] dotty.tools.dotc.typer.Namer$TypeDefCompleter.needsCompletion(Namer.scala:1047)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:150)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.core.Symbols$Symbol.paramInfo(Symbols.scala:401)
[error] dotty.tools.dotc.typer.Typer.$anonfun$58(Typer.scala:2766)
[error] scala.collection.LazyZip2$$anon$1$$anon$2.next(LazyZipOps.scala:44)
[error] scala.collection.immutable.List.prependedAll(List.scala:157)
[error] scala.collection.immutable.List$.from(List.scala:682)
[error] scala.collection.immutable.List$.from(List.scala:682)
[error] scala.collection.BuildFromLowPriority2$$anon$11.fromSpecific(BuildFrom.scala:118)
[error] scala.collection.BuildFromLowPriority2$$anon$11.fromSpecific(BuildFrom.scala:118)
[error] scala.collection.LazyZip2.map(LazyZipOps.scala:39)
[error] dotty.tools.dotc.typer.Typer.typedAppliedTypeTree(Typer.scala:2767)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3797)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3864)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.typedTuple(Typer.scala:3669)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3808)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3864)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.typedType(Typer.scala:4070)
[error] dotty.tools.dotc.typer.Typer.typedArg$1(Typer.scala:2754)
[error] dotty.tools.dotc.typer.Typer.$anonfun$57(Typer.scala:2758)
[error] dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160)
[error] dotty.tools.dotc.typer.Typer.typedAppliedTypeTree(Typer.scala:2758)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3797)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3864)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.typedType(Typer.scala:4070)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.typedParentType$1(Namer.scala:1630)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.parentType$1$$anonfun$1(Namer.scala:1644)
[error] dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1806)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.parentType$1(Namer.scala:1644)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.checkedParentType$1(Namer.scala:1658)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.$anonfun$29(Namer.scala:1755)
[error] scala.collection.immutable.List.map(List.scala:240)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.completeInCreationContext(Namer.scala:1755)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:403)
[error] dotty.tools.dotc.typer.Namer$TypeDefCompleter.needsCompletion(Namer.scala:1047)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:150)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.core.Symbols$Symbol.paramInfo(Symbols.scala:401)
[error] dotty.tools.dotc.typer.Typer.$anonfun$58(Typer.scala:2766)
[error] scala.collection.LazyZip2$$anon$1$$anon$2.next(LazyZipOps.scala:44)
[error] scala.collection.immutable.List.prependedAll(List.scala:157)
[error] scala.collection.immutable.List$.from(List.scala:682)
[error] scala.collection.immutable.List$.from(List.scala:682)
[error] scala.collection.BuildFromLowPriority2$$anon$11.fromSpecific(BuildFrom.scala:118)
[error] scala.collection.BuildFromLowPriority2$$anon$11.fromSpecific(BuildFrom.scala:118)
[error] scala.collection.LazyZip2.map(LazyZipOps.scala:39)
[error] dotty.tools.dotc.typer.Typer.typedAppliedTypeTree(Typer.scala:2767)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3797)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3864)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.typedType(Typer.scala:4070)
[error] dotty.tools.dotc.typer.Namer.typedAheadType$$anonfun$1(Namer.scala:1813)
[error] dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1806)
[error] dotty.tools.dotc.typer.Namer.typedAheadType(Namer.scala:1813)
[error] dotty.tools.dotc.typer.Namer$TypeDefCompleter.typeSig(Namer.scala:1123)
[error] dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:1011)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.printing.PlainPrinter.printWithoutPrefix$lzyINIT1$$anonfun$1(PlainPrinter.scala:165)
[error] scala.collection.immutable.List.map(List.scala:244)
[error] scala.collection.immutable.List.map(List.scala:238)
[error] dotty.tools.dotc.printing.PlainPrinter.printWithoutPrefix$lzyINIT1(PlainPrinter.scala:165)
[error] dotty.tools.dotc.printing.PlainPrinter.printWithoutPrefix(PlainPrinter.scala:164)
[error] dotty.tools.dotc.printing.PlainPrinter.toText$$anonfun$1(PlainPrinter.scala:245)
[error] dotty.tools.dotc.printing.MessageLimiter.controlled(MessageLimiter.scala:23)
[error] dotty.tools.dotc.printing.PlainPrinter.controlled(PlainPrinter.scala:50)
[error] dotty.tools.dotc.printing.PlainPrinter.toText(PlainPrinter.scala:371)
[error] dotty.tools.dotc.printing.RefinedPrinter.toText$$anonfun$1(RefinedPrinter.scala:322)
[error] dotty.tools.dotc.printing.MessageLimiter.controlled(MessageLimiter.scala:23)
[error] dotty.tools.dotc.printing.PlainPrinter.controlled(PlainPrinter.scala:50)
[error] dotty.tools.dotc.printing.RefinedPrinter.toText(RefinedPrinter.scala:366)
[error] dotty.tools.dotc.cc.Capabilities$CoreCapability.toText(Capability.scala:65)
[error] dotty.tools.dotc.cc.Capabilities$CoreCapability.toText$(Capability.scala:64)
[error] dotty.tools.dotc.core.Types$TypeRef.toText(Types.scala:3000)
[error] dotty.tools.dotc.printing.Showable.show(Showable.scala:23)
[error] dotty.tools.dotc.printing.Showable.show$(Showable.scala:9)
[error] dotty.tools.dotc.core.Types$Type.show(Types.scala:98)
[error] dotty.tools.dotc.typer.Checking$.paramTypeStr$1(Checking.scala:531)
[error] dotty.tools.dotc.typer.Checking$.checkScala2Implicit(Checking.scala:563)
[error] dotty.tools.dotc.typer.Checking$.checkWellFormed(Checking.scala:630)
[error] dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:1014)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.core.Denotations$SingleDenotation.computeAsSeenFrom(Denotations.scala:1139)
[error] dotty.tools.dotc.core.Denotations$SingleDenotation.computeAsSeenFrom(Denotations.scala:1092)
[error] dotty.tools.dotc.core.Denotations$PreDenotation.asSeenFrom(Denotations.scala:137)
[error] dotty.tools.dotc.core.Denotations$SingleDenotation.mapInherited(Denotations.scala:1072)
[error] dotty.tools.dotc.core.Denotations$SingleDenotation.mapInherited(Denotations.scala:1069)
[error] dotty.tools.dotc.core.SymDenotations$ClassDenotation.collect$1(SymDenotations.scala:2221)
[error] dotty.tools.dotc.core.SymDenotations$ClassDenotation.addInherited(SymDenotations.scala:2226)
[error] dotty.tools.dotc.core.SymDenotations$ClassDenotation.computeMembersNamed(SymDenotations.scala:2211)
[error] dotty.tools.dotc.core.SymDenotations$ClassDenotation.membersNamed(SymDenotations.scala:2178)
[error] dotty.tools.dotc.core.SymDenotations$ClassDenotation.findMember(SymDenotations.scala:2229)
[error] dotty.tools.dotc.core.Types$Type.go$1(Types.scala:831)
[error] dotty.tools.dotc.core.Types$Type.findMember(Types.scala:1021)
[error] dotty.tools.dotc.core.Types$Type.memberBasedOnFlags(Types.scala:804)
[error] dotty.tools.dotc.core.Types$Type.member(Types.scala:788)
[error] dotty.tools.dotc.core.Types$Type.implicitMembersNamed(Types.scala:811)
[error] dotty.tools.dotc.core.Types$Type.implicitMembers$$anonfun$1(Types.scala:1152)
[error] scala.runtime.function.JProcedure2.apply(JProcedure2.java:15)
[error] scala.runtime.function.JProcedure2.apply(JProcedure2.java:10)
[error] dotty.tools.dotc.core.Types$.dotty$tools$dotc$core$Types$Type$$_$memberDenots$$anonfun$1(Types.scala:1067)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.immutable.BitmapIndexedSetNode.foreach(HashSet.scala:954)
[error] scala.collection.immutable.HashSet.foreach(HashSet.scala:187)
[error] dotty.tools.dotc.core.Types$Type.memberDenots(Types.scala:1067)
[error] dotty.tools.dotc.core.Types$Type.implicitMembers(Types.scala:1152)
[error] dotty.tools.dotc.typer.ImportInfo.importedImplicits(ImportInfo.scala:134)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:232)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.core.Contexts$Context.implicits(Contexts.scala:239)
[error] dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1810)
[error] dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1126)
[error] dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:880)
[error] dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:163)
[error] dotty.tools.dotc.typer.Implicits.inferImplicitArg(Implicits.scala:948)
[error] dotty.tools.dotc.typer.Implicits.inferImplicitArg$(Implicits.scala:880)
[error] dotty.tools.dotc.typer.Typer.inferImplicitArg(Typer.scala:163)
[error] dotty.tools.dotc.typer.Typer.implicitArgs$1(Typer.scala:4478)
[error] dotty.tools.dotc.typer.Typer.addImplicitArgs$1(Typer.scala:4571)
[error] dotty.tools.dotc.typer.Typer.adaptNoArgsImplicitMethod$1(Typer.scala:4632)
[error] dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:4834)
[error] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:5122)
[error] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4332)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:4067)
[error] dotty.tools.dotc.typer.Typer.$anonfun$69(Typer.scala:3116)
[error] dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
[error] dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:3116)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3752)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3863)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3978)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:4024)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3419)
[error] dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3758)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3762)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3863)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3978)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:4024)
[error] dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3554)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3804)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3864)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3951)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3956)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:4067)
[error] dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:47)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:533)
[error] dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:53)
[error] dotty.tools.dotc.typer.TyperPhase.$anonfun$4(TyperPhase.scala:99)
[error] scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:495)
[error] scala.collection.Iterator$$anon$9.hasNext(Iterator.scala:599)
[error] scala.collection.immutable.List.prependedAll(List.scala:159)
[error] scala.collection.immutable.List$.from(List.scala:682)
[error] scala.collection.immutable.List$.from(List.scala:682)
[error] scala.collection.IterableOps$WithFilter.map(Iterable.scala:911)
[error] dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:98)
[error] dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:380)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1327)
[error] dotty.tools.dotc.Run.runPhases$1(Run.scala:373)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$2(Run.scala:420)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$adapted$1(Run.scala:420)
[error] scala.Function0.apply$mcV$sp(Function0.scala:45)
[error] dotty.tools.dotc.Run.showProgress(Run.scala:482)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:420)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:432)
[error] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
[error] dotty.tools.dotc.Run.compileUnits(Run.scala:432)
[error] dotty.tools.dotc.Run.compileSources(Run.scala:319)
[error] dotty.tools.dotc.Run.compile(Run.scala:304)
[error] dotty.tools.dotc.Driver.doCompile(Driver.scala:38)
[error] dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141)
[error] dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:196)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:252)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:186)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:166)
[error] sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:241)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:166)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:214)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:542)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:542)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$3(Incremental.scala:182)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$3$adapted(Incremental.scala:180)
[error] sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:458)
[error] sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:264)
[error] sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:413)
[error] sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:500)
[error] sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:400)
[error] sbt.internal.inc.Incremental$.apply(Incremental.scala:208)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:542)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:496)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:433)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
Expectation
Does not crash.