Crash when accessing Scala 2 code emitted with macro-annotations

[WojciechMazur]

Based on OpenCB failure in virtuslab/scala-cli - Open CB logs

Compiler version

Last good release: 3.7.3-RC1-bin-20250717-fb66af2-NIGHTLY
First bad release: 3.7.3-RC1-bin-20250718-42fdd76-NIGHTLY

Bisect points to 45f7ef6 / #23532

Minimized code

// Either:
// prepare `scala package --library cli.scala --force`
// //> using jar ./cli.jar
// or:
//> using dep io.get-coursier:coursier-cache_2.13:2.1.25-M16
import coursier.cache.FileCache
import scala.concurrent.duration.*

@main def Test = 
  val x = Some(FileCache().withTtl(0.seconds))

// cli.scala
//> using scala 2.13
//> using dep "io.github.alexarchambault:data-class_2.13:0.2.7"
//> using options -Ymacro-annotations -Xsource:3

import dataclass.data

import scala.concurrent.duration.*
import scala.concurrent.*

trait Sync[T[_]]

final case class Task[+T](value: ExecutionContext => Future[T]) extends AnyVal
object Task{
  implicit val sync: Sync[Task] = ???
} 

@data class FileCache[F[_]](
  location: java.io.File,
  ttl: Option[Duration] = None
)(implicit val sync: Sync[F]) {
  def withTtl(ttl: Duration): FileCache[F] = ???
}
object FileCache {
  def apply[F[_]]()(implicit S: Sync[F] = Task.sync): FileCache[F] = ???
}

Output (click arrow to expand)

  exception occurred while typechecking /Users/wmazur/projects/scala/community-build3/cli.test.scala

  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: /Users/wmazur/projects/scala/community-build3/cli.test.scala
        during phase: typer
                mode: Mode(ImplicitsEnabled)
     library version: version 2.13.16
    compiler version: version 3.7.3-RC1-bin-SNAPSHOT-git-73b935c
            settings: -classpath /Users/wmazur/.ivy2/local/org.scala-lang/scala3-library_3/3.7.3-RC1-bin-SNAPSHOT/jars/scala3-library_3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-cache_2.13/2.1.25-M16/coursier-cache_2.13-2.1.25-M16.jar:/Users/wmazur/.sdkman/candidates/scala/current/maven2/org/scala-lang/scala-library/2.13.16/scala-library-2.13.16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/github/plokhotnyuk/jsoniter-scala/jsoniter-scala-core_2.13/2.13.5/jsoniter-scala-core_2.13-2.13.5.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/virtuslab/scala-cli/config_3/1.8.3/config_3-1.8.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/alexarchambault/windows-ansi/windows-ansi/0.0.6/windows-ansi-0.0.6.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/cache-util/2.1.25-M16/cache-util-2.1.25-M16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-paths/2.1.25-M16/coursier-paths-2.1.25-M16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-util_2.13/2.1.25-M16/coursier-util_2.13-2.1.25-M16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/virtuslab/scala-cli/specification-level_3/1.8.3/specification-level_3-1.8.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/fusesource/jansi/jansi/2.4.1/jansi-2.4.1.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/alexarchambault/is-terminal/0.1.2/is-terminal-0.1.2.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/jniutils/windows-jni-utils/0.3.3/windows-jni-utils-0.3.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/modules/scala-collection-compat_2.13/2.13.0/scala-collection-compat_2.13-2.13.0.jar:/Users/wmazur/projects/scala/community-build3/.scala-build/community-build3_24faa07f5b-4420907c37/classes/main:/Users/wmazur/projects/scala/community-build3/.scala-build/community-build3_24faa07f5b-4420907c37/classes/main -d /Users/wmazur/projects/scala/community-build3/.scala-build/community-build3_24faa07f5b-4420907c37/classes/test -sourceroot /Users/wmazur/projects/scala/community-build3

Exception in thread "main" java.lang.AssertionError: assertion failed: end of NoSpan
        at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
        at dotty.tools.dotc.util.Spans$Span$.end$extension(Spans.scala:51)
        at dotty.tools.dotc.typer.Migrations.dotty$tools$dotc$typer$Migrations$$checkParentheses(Migrations.scala:166)
        at dotty.tools.dotc.typer.Migrations.implicitParams(Migrations.scala:137)
        at dotty.tools.dotc.typer.Migrations.implicitParams$(Migrations.scala:30)
        at dotty.tools.dotc.typer.Typer.implicitParams(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.adaptToArgs$1(Typer.scala:4311)
        at dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4986)
        at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4213)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Implicits.tryConversion$1(Implicits.scala:1191)
        at dotty.tools.dotc.typer.Implicits.typedImplicit(Implicits.scala:1222)
        at dotty.tools.dotc.typer.Implicits.typedImplicit$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.typedImplicit(Typer.scala:155)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.tryImplicit(Implicits.scala:1298)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.rank$1(Implicits.scala:1468)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1638)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1759)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit$$anonfun$3(Implicits.scala:1774)
        at dotty.tools.dotc.typer.Implicits$SearchResult.recoverWith(Implicits.scala:430)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1760)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1801)
        at dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1115)
        at dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:155)
        at dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:906)
        at dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.inferView(Typer.scala:155)
        at dotty.tools.dotc.typer.Implicits.viewExists(Implicits.scala:879)
        at dotty.tools.dotc.typer.Implicits.viewExists$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.viewExists(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible(ProtoTypes.scala:45)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.isCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.testCompat$1(ProtoTypes.scala:62)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible(ProtoTypes.scala:76)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.normalizedCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.qualifies$1(ProtoTypes.scala:250)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy$$anonfun$1(ProtoTypes.scala:253)
        at dotty.tools.dotc.core.Denotations$SingleDenotation.hasAltWith(Denotations.scala:644)
        at dotty.tools.dotc.core.Denotations$MultiDenotation.hasAltWith(Denotations.scala:1287)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy(ProtoTypes.scala:253)
        at dotty.tools.dotc.core.TypeComparer.isMatchedByProto(TypeComparer.scala:2312)
        at dotty.tools.dotc.core.TypeComparer.firstTry$1(TypeComparer.scala:355)
        at dotty.tools.dotc.core.TypeComparer.recur(TypeComparer.scala:1610)
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:225)
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:235)
        at dotty.tools.dotc.core.TypeComparer.topLevelSubType(TypeComparer.scala:143)
        at dotty.tools.dotc.core.TypeComparer.necessarySubType(TypeComparer.scala:154)
        at dotty.tools.dotc.core.TypeComparer$.necessarySubType(TypeComparer.scala:3428)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.necessarilyCompatible(ProtoTypes.scala:53)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.necessarilyCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.necessarilyCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult(ProtoTypes.scala:104)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.constrainResult(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult(ProtoTypes.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.constrainResult(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.implicitArgs$1(Typer.scala:4371)
        at dotty.tools.dotc.typer.Typer.addImplicitArgs$1(Typer.scala:4437)
        at dotty.tools.dotc.typer.Typer.adaptNoArgsImplicitMethod$1(Typer.scala:4502)
        at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:4704)
        at dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4991)
        at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4213)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:1058)
        at dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:1112)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3643)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1104)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:543)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:466)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:545)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:731)
        at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:809)
        at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:610)
        at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:935)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:1059)
        at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1357)
        at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:155)
        at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:1147)
        at dotty.tools.dotc.typer.Applications.$anonfun$15(Applications.scala:1263)
        at dotty.tools.dotc.typer.Typer$.tryEither(Typer.scala:128)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1282)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1792)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:2224)
        at dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1(Namer.scala:2224)
        at dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:2232)
        at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:2257)
        at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:2258)
        at dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:2270)
        at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1845)
        at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1851)
        at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:837)
        at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:1005)
        at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
        at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
        at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:403)
        at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:3615)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3640)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3860)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1513)
        at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1517)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3676)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1792)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:2224)
        at dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1(Namer.scala:2224)
        at dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:2232)
        at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:2257)
        at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:2258)
        at dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:2270)
        at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1845)
        at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1851)
        at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1983)
        at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:845)
        at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:1005)
        at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
        at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
        at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:403)
        at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:3615)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3640)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3860)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3325)
        at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3656)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3660)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3860)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3458)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3702)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:47)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
        at dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:510)
        at dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:53)
        at dotty.tools.dotc.typer.TyperPhase.$anonfun$4(TyperPhase.scala:99)
        at scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:479)
        at scala.collection.Iterator$$anon$9.hasNext(Iterator.scala:583)
        at scala.collection.immutable.List.prependedAll(List.scala:152)
        at scala.collection.immutable.List$.from(List.scala:685)
        at scala.collection.immutable.List$.from(List.scala:682)
        at scala.collection.IterableOps$WithFilter.map(Iterable.scala:900)
        at dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:98)
        at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:368)
        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:1324)
        at dotty.tools.dotc.Run.runPhases$1(Run.scala:361)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$2(Run.scala:408)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$adapted$1(Run.scala:408)
        at scala.Function0.apply$mcV$sp(Function0.scala:42)
        at dotty.tools.dotc.Run.showProgress(Run.scala:470)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:408)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:420)
        at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
        at dotty.tools.dotc.Run.compileUnits(Run.scala:420)
        at dotty.tools.dotc.Run.compileSources(Run.scala:307)
        at dotty.tools.dotc.Run.compile(Run.scala:292)
        at dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
        at dotty.tools.dotc.Driver.process(Driver.scala:201)
        at dotty.tools.dotc.Driver.process(Driver.scala:169)
        at dotty.tools.dotc.Driver.process(Driver.scala:181)
        at dotty.tools.dotc.Driver.main(Driver.scala:211)
        at dotty.tools.dotc.Main.main(Main.scala)
Compilation failed

[WojciechMazur]

Slightly different variant producing different crash (this one is exactly the same as in the build logs)

// Either:
// exec scala package --library cli.scala --force
// //> using jar ./cli.jar
// or:
//> using dep io.get-coursier:coursier-cache_2.13:2.1.25-M16
//> using toolkit default
import coursier.cache.FileCache
import coursier.util.Task

import scala.concurrent.duration.*

final case class InternalOptions(
  cache: Option[FileCache[Task]] = None
)

@main def Test = { 
  val _ = InternalOptions(
    cache = Some(FileCache().withTtl(0.seconds))
  )
}

Compiling project (test, Scala 3.7.3-RC1-bin-20250725-e2d23ed-NIGHTLY, JVM (21))

  exception occurred while typechecking /Users/wmazur/projects/scala/community-build3/cli.test.scala

  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: /Users/wmazur/projects/scala/community-build3/cli.test.scala
        during phase: typer
                mode: Mode(ImplicitsEnabled)
     library version: version 2.13.16
    compiler version: version 3.7.3-RC1-bin-20250725-e2d23ed-NIGHTLY-git-e2d23ed
            settings: -bootclasspath /Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala3-library_3/3.7.3-RC1-bin-20250725-e2d23ed-NIGHTLY/scala3-library_3-3.7.3-RC1-bin-20250725-e2d23ed-NIGHTLY.jar:/Users/wmazur/.sdkman/candidates/scala/current/maven2/org/scala-lang/scala-library/2.13.16/scala-library-2.13.16.jar -classpath /Users/wmazur/projects/scala/community-build3/.scala-build/.bloop/community-build3_cb41064266-4420907c37-test/bloop-internal-classes/test-2VgF2uAvR8eM6PFcdQgQXw==:/Users/wmazur/projects/scala/community-build3/.scala-build/.bloop/community-build3_cb41064266-4420907c37-test/bloop-internal-classes/test-rAxq7Lh0RLGmk2sjbiXISA==:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/toolkit-test_3/0.7.0/toolkit-test_3-0.7.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-cache_2.13/2.1.25-M16/coursier-cache_2.13-2.1.25-M16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/toolkit_3/0.7.0/toolkit_3-0.7.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scalameta/munit_3/1.1.0/munit_3-1.1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/github/plokhotnyuk/jsoniter-scala/jsoniter-scala-core_2.13/2.13.5/jsoniter-scala-core_2.13-2.13.5.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/virtuslab/scala-cli/config_3/1.8.3/config_3-1.8.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/alexarchambault/windows-ansi/windows-ansi/0.0.6/windows-ansi-0.0.6.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/cache-util/2.1.25-M16/cache-util-2.1.25-M16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-paths/2.1.25-M16/coursier-paths-2.1.25-M16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-util_2.13/2.1.25-M16/coursier-util_2.13-2.1.25-M16.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/softwaremill/sttp/client4/core_3/4.0.0-RC1/core_3-4.0.0-RC1.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/softwaremill/sttp/client4/upickle_3/4.0.0-RC1/upickle_3-4.0.0-RC1.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upickle_3/4.1.0/upickle_3-4.1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/os-lib_3/0.11.3/os-lib_3-0.11.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scalameta/junit-interface/1.1.0/junit-interface-1.1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scalameta/munit-diff_3/1.1.0/munit-diff_3-1.1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/junit/junit/4.13.2/junit-4.13.2.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/virtuslab/scala-cli/specification-level_3/1.8.3/specification-level_3-1.8.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/fusesource/jansi/jansi/2.4.1/jansi-2.4.1.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/alexarchambault/is-terminal/0.1.2/is-terminal-0.1.2.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/jniutils/windows-jni-utils/0.3.3/windows-jni-utils-0.3.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/modules/scala-collection-compat_2.13/2.13.0/scala-collection-compat_2.13-2.13.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/softwaremill/sttp/model/core_3/1.7.11/core_3-1.7.11.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/softwaremill/sttp/shared/core_3/1.4.2/core_3-1.4.2.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/softwaremill/sttp/shared/ws_3/1.4.2/ws_3-1.4.2.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/softwaremill/sttp/client4/json-common_3/4.0.0-RC1/json-common_3-4.0.0-RC1.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/ujson_3/4.1.0/ujson_3-4.1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upack_3/4.1.0/upack_3-4.1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upickle-implicits_3/4.1.0/upickle-implicits_3-4.1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/geny_3/1.1.1/geny_3-1.1.1.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-sbt/test-interface/1.0/test-interface-1.0.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar:/Users/wmazur/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upickle-core_3/4.1.0/upickle-core_3-4.1.0.jar:/Users/wmazur/projects/scala/community-build3/.scala-build/community-build3_cb41064266-4420907c37/classes/main:/Users/wmazur/projects/scala/community-build3/.scala-build/community-build3_cb41064266-4420907c37/classes/main -d /Users/wmazur/projects/scala/community-build3/.scala-build/.bloop/community-build3_cb41064266-4420907c37-test/bloop-internal-classes/test-2VgF2uAvR8eM6PFcdQgQXw== -sourceroot /Users/wmazur/projects/scala/community-build3

Error compiling project (test, Scala 3.7.3-RC1-bin-20250725-e2d23ed-NIGHTLY, JVM (21))
Error: java.lang.AssertionError: assertion failed: TS[4544937, 4544936, 4544935] attempted to take ownership of A which is already owned by committable TS[4544964, 4544937, 4544936, 4544935]
        at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
        at dotty.tools.dotc.core.TyperState.includeVar(TyperState.scala:273)
        at dotty.tools.dotc.core.TyperState.$anonfun$2$$anonfun$1(TyperState.scala:235)
        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.TyperState.$anonfun$2(TyperState.scala:234)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TyperState.mergeConstraintWith(TyperState.scala:229)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArgs(ProtoTypes.scala:528)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.fold(ProtoTypes.scala:615)
        at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6909)
        at dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6947)
        at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:682)
        at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6946)
        at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6946)
        at dotty.tools.dotc.typer.ProtoTypes$ViewProto.fold(ProtoTypes.scala:676)
        at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6909)
        at dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6947)
        at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:682)
        at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.apply(Implicits.scala:688)
        at dotty.tools.dotc.typer.ImplicitRunInfo.recur$1(Implicits.scala:764)
        at dotty.tools.dotc.typer.ImplicitRunInfo.computeIScope(Implicits.scala:775)
        at dotty.tools.dotc.typer.ImplicitRunInfo.$anonfun$1(Implicits.scala:855)
        at dotty.tools.dotc.util.ReadOnlyMap.getOrElse(ReadOnlyMap.scala:23)
        at dotty.tools.dotc.typer.ImplicitRunInfo.implicitScope(Implicits.scala:855)
        at dotty.tools.dotc.typer.ImplicitRunInfo.implicitScope$(Implicits.scala:626)
        at dotty.tools.dotc.Run.implicitScope(Run.scala:45)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.implicitScope(Implicits.scala:1805)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1687)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit$$anonfun$3(Implicits.scala:1774)
        at dotty.tools.dotc.typer.Implicits$SearchResult.recoverWith(Implicits.scala:430)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1760)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1801)
        at dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1115)
        at dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:155)
        at dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:906)
        at dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.inferView(Typer.scala:155)
        at dotty.tools.dotc.typer.Implicits.viewExists(Implicits.scala:879)
        at dotty.tools.dotc.typer.Implicits.viewExists$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.viewExists(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible(ProtoTypes.scala:45)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.isCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.testCompat$1(ProtoTypes.scala:62)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible(ProtoTypes.scala:76)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.normalizedCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.qualifies$1(ProtoTypes.scala:250)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy$$anonfun$1(ProtoTypes.scala:253)
        at dotty.tools.dotc.core.Denotations$SingleDenotation.hasAltWith(Denotations.scala:644)
        at dotty.tools.dotc.core.Denotations$MultiDenotation.hasAltWith(Denotations.scala:1287)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy(ProtoTypes.scala:253)
        at dotty.tools.dotc.core.TypeComparer.isMatchedByProto(TypeComparer.scala:2312)
        at dotty.tools.dotc.core.TypeComparer.firstTry$1(TypeComparer.scala:355)
        at dotty.tools.dotc.core.TypeComparer.recur(TypeComparer.scala:1610)
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:225)
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:235)
        at dotty.tools.dotc.core.TypeComparer.topLevelSubType(TypeComparer.scala:143)
        at dotty.tools.dotc.core.TypeComparer.necessarySubType(TypeComparer.scala:154)
        at dotty.tools.dotc.core.TypeComparer$.necessarySubType(TypeComparer.scala:3428)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.necessarilyCompatible(ProtoTypes.scala:53)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.necessarilyCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.necessarilyCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult(ProtoTypes.scala:104)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.constrainResult(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult(ProtoTypes.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.constrainResult(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.implicitArgs$1(Typer.scala:4371)
        at dotty.tools.dotc.typer.Typer.addImplicitArgs$1(Typer.scala:4437)
        at dotty.tools.dotc.typer.Typer.adaptNoArgsImplicitMethod$1(Typer.scala:4502)
        at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:4704)
        at dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4991)
        at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4213)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:1058)
        at dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:1112)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3643)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1104)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:543)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:466)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:545)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:731)
        at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:809)
        at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:610)
        at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:935)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:1059)
        at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1357)
        at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:155)
        at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:1147)
        at dotty.tools.dotc.typer.Applications.$anonfun$15(Applications.scala:1263)
        at dotty.tools.dotc.typer.Typer$.tryEither(Typer.scala:128)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1282)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedNamedArg(Typer.scala:1395)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3674)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:543)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:466)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:545)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:731)
        at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:809)
        at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:610)
        at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:935)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:1059)
        at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1357)
        at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:155)
        at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:1147)
        at dotty.tools.dotc.typer.Applications.$anonfun$15(Applications.scala:1263)
        at dotty.tools.dotc.typer.Typer$.tryEither(Typer.scala:128)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1282)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Typer.typedMatch(Typer.scala:2112)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3683)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3887)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1513)
        at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1517)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3676)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1792)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:2224)
        at dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1(Namer.scala:2224)
        at dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:2232)
        at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:2257)
        at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:2258)
        at dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:2270)
        at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1845)
        at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1851)
        at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1983)
        at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:845)
        at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:1005)
        at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
        at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
        at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:403)
        at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:3615)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3640)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3860)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3325)
        at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3656)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3660)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3860)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3458)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3702)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:47)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
        at dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:510)
        at dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:53)
        at dotty.tools.dotc.typer.TyperPhase.$anonfun$4(TyperPhase.scala:99)
        at scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:479)
        at scala.collection.Iterator$$anon$9.hasNext(Iterator.scala:583)
        at scala.collection.immutable.List.prependedAll(List.scala:152)
        at scala.collection.immutable.List$.from(List.scala:685)
        at scala.collection.immutable.List$.from(List.scala:682)
        at scala.collection.IterableOps$WithFilter.map(Iterable.scala:900)
        at dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:98)
        at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:368)
        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:1324)
        at dotty.tools.dotc.Run.runPhases$1(Run.scala:361)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$2(Run.scala:408)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$adapted$1(Run.scala:408)
        at scala.Function0.apply$mcV$sp(Function0.scala:42)
        at dotty.tools.dotc.Run.showProgress(Run.scala:470)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:408)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:420)
        at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
        at dotty.tools.dotc.Run.compileUnits(Run.scala:420)
        at dotty.tools.dotc.Run.compileSources(Run.scala:307)
        at dotty.tools.dotc.Run.compile(Run.scala:292)
        at dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
        at dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141)
        at dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
        at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.compileSources$1(BloopHighLevelCompiler.scala:148)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.$anonfun$compile$9(BloopHighLevelCompiler.scala:181)
        at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.$anonfun$compile$1(BloopHighLevelCompiler.scala:73)
        at bloop.tracing.NoopTracer$.trace(BraveTracer.scala:53)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.timed$1(BloopHighLevelCompiler.scala:72)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.$anonfun$compile$8(BloopHighLevelCompiler.scala:181)
        at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
        at monix.eval.internal.TaskRunLoop$.startFull(TaskRunLoop.scala:81)
        at monix.eval.internal.TaskRestartCallback.syncOnSuccess(TaskRestartCallback.scala:101)
        at monix.eval.internal.TaskRestartCallback.onSuccess(TaskRestartCallback.scala:74)
        at monix.eval.internal.TaskExecuteOn$AsyncRegister$$anon$1.run(TaskExecuteOn.scala:71)
        at java.base/java.util.concurrent.ForkJoinTask$RunnableExecuteAction.exec(ForkJoinTask.java:1423)
        at java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:387)
        at java.base/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1312)
        at java.base/java.util.concurrent.ForkJoinPool.scan(ForkJoinPool.java:1843)
        at java.base/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1808)
        at java.base/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:188)

Error: Unexpected error when compiling community-build3_cb41064266-4420907c37-test: java.lang.AssertionError: assertion failed: TS[4544937, 4544936, 4544935] attempted to take ownership of A which is already owned by committable TS[4544964, 4544937, 4544936, 4544935]
        at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
        at dotty.tools.dotc.core.TyperState.includeVar(TyperState.scala:273)
        at dotty.tools.dotc.core.TyperState.$anonfun$2$$anonfun$1(TyperState.scala:235)
        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.TyperState.$anonfun$2(TyperState.scala:234)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TyperState.mergeConstraintWith(TyperState.scala:229)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArgs(ProtoTypes.scala:528)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.fold(ProtoTypes.scala:615)
        at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6909)
        at dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6947)
        at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:682)
        at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6946)
        at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:6946)
        at dotty.tools.dotc.typer.ProtoTypes$ViewProto.fold(ProtoTypes.scala:676)
        at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:6909)
        at dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:6947)
        at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.traverse(Implicits.scala:682)
        at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$2$.apply(Implicits.scala:688)
        at dotty.tools.dotc.typer.ImplicitRunInfo.recur$1(Implicits.scala:764)
        at dotty.tools.dotc.typer.ImplicitRunInfo.computeIScope(Implicits.scala:775)
        at dotty.tools.dotc.typer.ImplicitRunInfo.$anonfun$1(Implicits.scala:855)
        at dotty.tools.dotc.util.ReadOnlyMap.getOrElse(ReadOnlyMap.scala:23)
        at dotty.tools.dotc.typer.ImplicitRunInfo.implicitScope(Implicits.scala:855)
        at dotty.tools.dotc.typer.ImplicitRunInfo.implicitScope$(Implicits.scala:626)
        at dotty.tools.dotc.Run.implicitScope(Run.scala:45)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.implicitScope(Implicits.scala:1805)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1687)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit$$anonfun$3(Implicits.scala:1774)
        at dotty.tools.dotc.typer.Implicits$SearchResult.recoverWith(Implicits.scala:430)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1760)
        at dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1801)
        at dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1115)
        at dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:155)
        at dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:906)
        at dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.inferView(Typer.scala:155)
        at dotty.tools.dotc.typer.Implicits.viewExists(Implicits.scala:879)
        at dotty.tools.dotc.typer.Implicits.viewExists$(Implicits.scala:866)
        at dotty.tools.dotc.typer.Typer.viewExists(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible(ProtoTypes.scala:45)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.isCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.testCompat$1(ProtoTypes.scala:62)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible(ProtoTypes.scala:76)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.normalizedCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.qualifies$1(ProtoTypes.scala:250)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy$$anonfun$1(ProtoTypes.scala:253)
        at dotty.tools.dotc.core.Denotations$SingleDenotation.hasAltWith(Denotations.scala:644)
        at dotty.tools.dotc.core.Denotations$MultiDenotation.hasAltWith(Denotations.scala:1287)
        at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy(ProtoTypes.scala:253)
        at dotty.tools.dotc.core.TypeComparer.isMatchedByProto(TypeComparer.scala:2312)
        at dotty.tools.dotc.core.TypeComparer.firstTry$1(TypeComparer.scala:355)
        at dotty.tools.dotc.core.TypeComparer.recur(TypeComparer.scala:1610)
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:225)
        at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:235)
        at dotty.tools.dotc.core.TypeComparer.topLevelSubType(TypeComparer.scala:143)
        at dotty.tools.dotc.core.TypeComparer.necessarySubType(TypeComparer.scala:154)
        at dotty.tools.dotc.core.TypeComparer$.necessarySubType(TypeComparer.scala:3428)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.necessarilyCompatible(ProtoTypes.scala:53)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.necessarilyCompatible$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.necessarilyCompatible(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult(ProtoTypes.scala:104)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.constrainResult(Typer.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult(ProtoTypes.scala:155)
        at dotty.tools.dotc.typer.ProtoTypes$Compatibility.constrainResult$(ProtoTypes.scala:32)
        at dotty.tools.dotc.typer.Typer.constrainResult(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.implicitArgs$1(Typer.scala:4371)
        at dotty.tools.dotc.typer.Typer.addImplicitArgs$1(Typer.scala:4437)
        at dotty.tools.dotc.typer.Typer.adaptNoArgsImplicitMethod$1(Typer.scala:4502)
        at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:4704)
        at dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4991)
        at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:4213)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:1058)
        at dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:1112)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3643)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1104)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:543)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:466)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:545)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:731)
        at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:809)
        at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:610)
        at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:935)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:1059)
        at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1357)
        at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:155)
        at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:1147)
        at dotty.tools.dotc.typer.Applications.$anonfun$15(Applications.scala:1263)
        at dotty.tools.dotc.typer.Typer$.tryEither(Typer.scala:128)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1282)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedNamedArg(Typer.scala:1395)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3674)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:543)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:466)
        at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:545)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:1060)
        at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:731)
        at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:809)
        at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:610)
        at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:935)
        at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:1059)
        at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1357)
        at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:155)
        at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:1147)
        at dotty.tools.dotc.typer.Applications.$anonfun$15(Applications.scala:1263)
        at dotty.tools.dotc.typer.Typer$.tryEither(Typer.scala:128)
        at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1282)
        at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1331)
        at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:470)
        at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:155)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3668)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Typer.typedMatch(Typer.scala:2112)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3683)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3887)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1513)
        at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1517)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3676)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1792)
        at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1802)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:2224)
        at dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
        at dotty.tools.dotc.typer.Namer.typedAheadRhs$1(Namer.scala:2224)
        at dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:2232)
        at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:2257)
        at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:2258)
        at dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:2270)
        at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1845)
        at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1851)
        at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1983)
        at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:845)
        at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:1005)
        at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:874)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:175)
        at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
        at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:403)
        at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:3615)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3640)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3860)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3325)
        at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3656)
        at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3660)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3755)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3860)
        at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3906)
        at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3458)
        at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3702)
        at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3756)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3833)
        at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3838)
        at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3949)
        at dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:47)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
        at dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:510)
        at dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:53)
        at dotty.tools.dotc.typer.TyperPhase.$anonfun$4(TyperPhase.scala:99)
        at scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:479)
        at scala.collection.Iterator$$anon$9.hasNext(Iterator.scala:583)
        at scala.collection.immutable.List.prependedAll(List.scala:152)
        at scala.collection.immutable.List$.from(List.scala:685)
        at scala.collection.immutable.List$.from(List.scala:682)
        at scala.collection.IterableOps$WithFilter.map(Iterable.scala:900)
        at dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:98)
        at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:368)
        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:1324)
        at dotty.tools.dotc.Run.runPhases$1(Run.scala:361)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$2(Run.scala:408)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1$$anonfun$adapted$1(Run.scala:408)
        at scala.Function0.apply$mcV$sp(Function0.scala:42)
        at dotty.tools.dotc.Run.showProgress(Run.scala:470)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:408)
        at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:420)
        at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
        at dotty.tools.dotc.Run.compileUnits(Run.scala:420)
        at dotty.tools.dotc.Run.compileSources(Run.scala:307)
        at dotty.tools.dotc.Run.compile(Run.scala:292)
        at dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
        at dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141)
        at dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
        at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.compileSources$1(BloopHighLevelCompiler.scala:148)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.$anonfun$compile$9(BloopHighLevelCompiler.scala:181)
        at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.$anonfun$compile$1(BloopHighLevelCompiler.scala:73)
        at bloop.tracing.NoopTracer$.trace(BraveTracer.scala:53)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.timed$1(BloopHighLevelCompiler.scala:72)
        at sbt.internal.inc.bloop.internal.BloopHighLevelCompiler.$anonfun$compile$8(BloopHighLevelCompiler.scala:181)
        at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
        at monix.eval.internal.TaskRunLoop$.startFull(TaskRunLoop.scala:81)
        at monix.eval.internal.TaskRestartCallback.syncOnSuccess(TaskRestartCallback.scala:101)
        at monix.eval.internal.TaskRestartCallback.onSuccess(TaskRestartCallback.scala:74)
        at monix.eval.internal.TaskExecuteOn$AsyncRegister$$anon$1.run(TaskExecuteOn.scala:71)
        at java.base/java.util.concurrent.ForkJoinTask$RunnableExecuteAction.exec(ForkJoinTask.java:1423)
        at java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:387)
        at java.base/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1312)
        at java.base/java.util.concurrent.ForkJoinPool.scan(ForkJoinPool.java:1843)
        at java.base/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1808)
        at java.base/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:188)

Compilation failed

[Gedochao]

cc @odersky