Compiler crash with -Ymagic-offset-header #24091
Description
Upstream issue for com-lihaoyi/mill#5932, which attempts to make use of #23646 which landed in 3.7.3
Compiler version
3.7.3
Minimized code
Not minimized, but it seems like a repro
> git clone https://github.com/com-lihaoyi/mill
> cd mill
> git fetch pull/5932/head:5932
> git checkout 5932
> ./mill 'integration.failure[runtime-error-line-numbers].packaged.daemon'Output (click arrow to expand)
We are getting java.lang.AssertionError: assertion failed: start of NoSpan here:
java.lang.AssertionError: assertion failed: start of NoSpan
[7518] scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
[7518] dotty.tools.dotc.util.Spans$Span$.start$extension(Spans.scala:45)
[7518] dotty.tools.dotc.ast.Positioned.sourcePos(Positioned.scala:59)
[7518] dotty.tools.dotc.report$.addInlineds(report.scala:145)
[7518] dotty.tools.dotc.report$.error(report.scala:68)
[7518] dotty.tools.dotc.typer.ErrorReporting$.errorType(ErrorReporting.scala:32)
[7518] dotty.tools.dotc.typer.ErrorReporting$.errorTree(ErrorReporting.scala:23)
[7518] dotty.tools.dotc.typer.ErrorReporting$.errorTree(ErrorReporting.scala:26)
[7518] dotty.tools.dotc.typer.ErrorReporting$Errors.typeMismatch(ErrorReporting.scala:201)
[7518] dotty.tools.dotc.typer.Typer.recover$1(Typer.scala:4833)
[7518] dotty.tools.dotc.typer.Typer.adaptToSubType$1(Typer.scala:4861)
[7518] dotty.tools.dotc.typer.Typer.adaptNoArgsOther$1(Typer.scala:4655)
[7518] dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:4735)
[7518] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4998)
[7518] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4216)
[7518] dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:546)
[7518] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1065)
[7518] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1065)
[7518] dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:731)
[7518] dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:814)
[7518] dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:610)
[7518] dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:940)
[7518] dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:1064)
[7518] dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1362)
[7518] dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:470)
[7518] dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:1152)
[7518] dotty.tools.dotc.typer.Applications.$anonfun$15(Applications.scala:1268)
[7518] dotty.tools.dotc.typer.Typer$.tryEither(Typer.scala:128)
[7518] dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1287)
[7518] dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1336)
[7518] dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
[7518] dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3671)
[7518] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3759)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3836)
[7518] dotty.tools.dotc.typer.Implicits.tryConversion$1(Implicits.scala:1191)
[7518] dotty.tools.dotc.typer.Implicits.typedImplicit(Implicits.scala:1222)
[7518] dotty.tools.dotc.typer.Implicits.typedImplicit$(Implicits.scala:866)
[7518] dotty.tools.dotc.typer.Typer.typedImplicit(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Implicits$ImplicitSearch.tryImplicit(Implicits.scala:1298)
[7518] dotty.tools.dotc.typer.Implicits$ImplicitSearch.rank$1(Implicits.scala:1468)
[7518] dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1638)
[7518] dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1759)
[7518] dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit$$anonfun$3(Implicits.scala:1774)
[7518] dotty.tools.dotc.typer.Implicits$SearchResult.recoverWith(Implicits.scala:430)
[7518] dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1760)
[7518] dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1801)
[7518] dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1115)
[7518] dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:866)
[7518] dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:906)
[7518] dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:866)
[7518] dotty.tools.dotc.typer.Typer.inferView(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Implicits.viewExists(Implicits.scala:879)
[7518] dotty.tools.dotc.typer.Implicits.viewExists$(Implicits.scala:866)
[7518] dotty.tools.dotc.typer.Typer.viewExists(Typer.scala:155)
[7518] dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible(ProtoTypes.scala:45)
[7518] dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible$(ProtoTypes.scala:32)
[7518] dotty.tools.dotc.typer.Typer.isCompatible(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Applications$TestApplication.argOK(Applications.scala:863)
[7518] dotty.tools.dotc.typer.Applications$TestApplication.addArg(Applications.scala:893)
[7518] dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:731)
[7518] dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:814)
[7518] dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:610)
[7518] dotty.tools.dotc.typer.Applications$TestApplication.<init>(Applications.scala:901)
[7518] dotty.tools.dotc.typer.Applications$ApplicableToTrees.<init>(Applications.scala:908)
[7518] dotty.tools.dotc.typer.Applications.isApp$1(Applications.scala:1794)
[7518] dotty.tools.dotc.typer.Applications.isApplicableMethodRef(Applications.scala:1795)
[7518] dotty.tools.dotc.typer.Applications.isApplicableMethodRef$(Applications.scala:470)
[7518] dotty.tools.dotc.typer.Typer.isApplicableMethodRef(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Applications.narrowByTrees$1$$anonfun$1(Applications.scala:2441)
[7518] dotty.tools.dotc.core.Decorators$.loop$2(Decorators.scala:135)
[7518] dotty.tools.dotc.core.Decorators$.loop$2(Decorators.scala:138)
[7518] dotty.tools.dotc.core.Decorators$.filterConserve(Decorators.scala:149)
[7518] dotty.tools.dotc.typer.Applications.narrowByTrees$1(Applications.scala:2440)
[7518] dotty.tools.dotc.typer.Applications.resolveOverloaded1(Applications.scala:2456)
[7518] dotty.tools.dotc.typer.Applications.resolve$1(Applications.scala:2269)
[7518] dotty.tools.dotc.typer.Applications.resolveOverloaded(Applications.scala:2308)
[7518] dotty.tools.dotc.typer.Applications.resolveOverloaded$(Applications.scala:470)
[7518] dotty.tools.dotc.typer.Typer.resolveOverloaded(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Typer.adaptOverloaded$1(Typer.scala:4257)
[7518] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4948)
[7518] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4216)
[7518] dotty.tools.dotc.typer.Typer.tryApply$1(Typer.scala:4028)
[7518] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit$$anonfun$2(Typer.scala:4046)
[7518] dotty.tools.dotc.typer.Typer$.tryEither(Typer.scala:128)
[7518] dotty.tools.dotc.typer.Typer.tryInsertApplyOrImplicit(Typer.scala:4053)
[7518] dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:4325)
[7518] dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4993)
[7518] dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4216)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3836)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3841)
[7518] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3952)
[7518] dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1109)
[7518] dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1336)
[7518] dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
[7518] dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
[7518] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3671)
[7518] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3759)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3836)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3841)
[7518] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3952)
[7518] dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1802)
[7518] dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1792)
[7518] dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1802)
[7518] dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:2224)
[7518] dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
[7518] dotty.tools.dotc.typer.Namer.typedAheadRhs$1(Namer.scala:2224)
[7518] dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:2232)
[7518] dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:2257)
[7518] dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:2258)
[7518] dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:2270)
[7518] dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1845)
[7518] dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1851)
[7518] dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1983)
[7518] dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:845)
[7518] dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:1005)
[7518] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
[7518] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
[7518] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[7518] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[7518] dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:403)
[7518] dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:3618)
[7518] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3643)
[7518] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3758)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3836)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3841)
[7518] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3863)
[7518] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3909)
[7518] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3328)
[7518] dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3659)
[7518] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3663)
[7518] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3758)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3836)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3841)
[7518] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3863)
[7518] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3909)
[7518] dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3461)
[7518] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3705)
[7518] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3759)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3836)
[7518] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3841)
[7518] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3952)
[7518] dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:47)
[7518] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[7518] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[7518] dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:510)
[7518] dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:53)
[7518] dotty.tools.dotc.typer.TyperPhase.$anonfun$4(TyperPhase.scala:99)
[7518] scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:479)
[7518] scala.collection.Iterator$$anon$9.hasNext(Iterator.scala:583)
[7518] scala.collection.immutable.List.prependedAll(List.scala:155)
[7518] scala.collection.immutable.List$.from(List.scala:685)
[7518] scala.collection.immutable.List$.from(List.scala:682)
[7518] scala.collection.IterableOps$WithFilter.map(Iterable.scala:900)
[7518] dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:98)
[7518] dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:380)
[7518] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[7518] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[7518] scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1324)
[7518] dotty.tools.dotc.Run.runPhases$1(Run.scala:373)
[7518] dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$2(Run.scala:420)
[7518] dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$adapted$1(Run.scala:420)
[7518] scala.Function0.apply$mcV$sp(Function0.scala:42)
[7518] dotty.tools.dotc.Run.showProgress(Run.scala:482)
[7518] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:420)
[7518] dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:432)
[7518] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
[7518] dotty.tools.dotc.Run.compileUnits(Run.scala:432)
[7518] dotty.tools.dotc.Run.compileSources(Run.scala:319)
[7518] dotty.tools.dotc.Run.compile(Run.scala:304)
[7518] dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
[7518] dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141)
[7518] dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
[7518] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
[7518] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:196)
[7518] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)
[7518] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:252)
[7518] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:186)
[7518] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:166)
[7518] sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:241)
[7518] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:166)
[7518] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:214)
[7518] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:542)
[7518] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:542)
[7518] sbt.internal.inc.Incremental$.$anonfun$apply$3(Incremental.scala:182)
[7518] sbt.internal.inc.Incremental$.$anonfun$apply$3$adapted(Incremental.scala:180)
[7518] sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:458)
[7518] sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
[7518] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
[7518] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
[7518] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:264)
[7518] sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:413)
[7518] sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:500)
[7518] sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:400)
[7518] sbt.internal.inc.Incremental$.apply(Incremental.scala:208)
[7518] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:542)
[7518] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:496)
[7518] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
[7518] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:433)
[7518] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
[7518] mill.javalib.zinc.ZincWorker.compileInternal(ZincWorker.scala:505)
[7518] mill.javalib.zinc.ZincWorker.compileMixed$$anonfun$1(ZincWorker.scala:228)
[7518] mill.javalib.zinc.ZincWorker.withScalaCompilers$$anonfun$2(ZincWorker.scala:331)
[7518] mill.util.CachedFactoryWithInitData.withValue(CachedFactory.scala:54)
[7518] mill.javalib.zinc.ZincWorker.withScalaCompilers(ZincWorker.scala:330)
[7518] mill.javalib.zinc.ZincWorker.compileMixed(ZincWorker.scala:216)
[7518] mill.javalib.zinc.ZincWorker$$anon$4.compileMixed(ZincWorker.scala:303)
[7518] mill.javalib.worker.JvmWorkerImpl.$anonfun$5(JvmWorkerImpl.scala:71)
[7518] mill.util.Timed$.apply(Timed.scala:14)
[7518] mill.javalib.worker.JvmWorkerImpl.compileMixed(JvmWorkerImpl.scala:71)
[7518] mill.meta.MillBuildRootModule.compile$$anonfun$1$$anonfun$1(MillBuildRootModule.scala:269)
[7518] mill.api.Task$Named.evaluate(Task.scala:338)
[7518] mill.api.Task$Named.evaluate$(Task.scala:323)
[7518] mill.api.Task$Computed.evaluate(Task.scala:349)