Skip to content

Instantly share code, notes, and snippets.

@philipschwarz
Created August 31, 2024 13:00
Show Gist options
  • Save philipschwarz/afc7c19717484fe060e023f8d19d8563 to your computer and use it in GitHub Desktop.
Save philipschwarz/afc7c19717484fe060e023f8d19d8563 to your computer and use it in GitHub Desktop.
scala: ## Exception when compiling 1 sources to /Users/philipschwarz/dev/git/try-contingency/target/scala-3.5.0/classes
java.lang.AssertionError: assertion failed: class inequality has non-class parent: AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object hypotenuse),Inequality),List(AppliedType(TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object quantitative),module class Quantitative$)),type Quantity),List(TypeRef(ThisType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object quantitative),module class Quantitative$)),module class Quantity$)),class inequality)),type UnitsType))), AppliedType(TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object quantitative),module class Quantitative$)),type Quantity),List(TypeRef(ThisType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object quantitative),module class Quantitative$)),module class Quantity$)),class inequality)),type UnitsType2)))))
scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
dotty.tools.dotc.core.SymDenotations$ClassDenotation.traverse$1(SymDenotations.scala:2007)
dotty.tools.dotc.core.SymDenotations$ClassDenotation.computeBaseData(SymDenotations.scala:2012)
dotty.tools.dotc.core.SymDenotations$BaseDataImpl.apply(SymDenotations.scala:3001)
dotty.tools.dotc.core.SymDenotations$ClassDenotation.baseData(SymDenotations.scala:1978)
dotty.tools.dotc.core.SymDenotations$ClassDenotation.baseClassSet(SymDenotations.scala:1994)
dotty.tools.dotc.core.SymDenotations$ClassDenotation.derivesFrom(SymDenotations.scala:2020)
dotty.tools.dotc.core.Types$Type.loop$1(Types.scala:278)
dotty.tools.dotc.core.Types$Type.derivesFrom(Types.scala:302)
dotty.tools.dotc.core.Types$Type.loop$1(Types.scala:280)
dotty.tools.dotc.core.Types$Type.derivesFrom(Types.scala:302)
dotty.tools.dotc.typer.Implicits$ImplicitRefs.viewCandidateKind$1(Implicits.scala:180)
dotty.tools.dotc.typer.Implicits$ImplicitRefs.candidateKind$1(Implicits.scala:224)
dotty.tools.dotc.typer.Implicits$ImplicitRefs.tryCandidate$1(Implicits.scala:255)
dotty.tools.dotc.typer.Implicits$ImplicitRefs.filterMatching$$anonfun$2(Implicits.scala:264)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.immutable.List.foreach(List.scala:334)
dotty.tools.dotc.typer.Implicits$ImplicitRefs.filterMatching(Implicits.scala:264)
dotty.tools.dotc.typer.Implicits$OfTypeImplicits.eligible(Implicits.scala:285)
dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1689)
dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit$$anonfun$2(Implicits.scala:1773)
dotty.tools.dotc.typer.Implicits$SearchResult.recoverWith(Implicits.scala:430)
dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1759)
dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1800)
dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1109)
dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:860)
dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:145)
dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:900)
dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:860)
dotty.tools.dotc.typer.Typer.inferView(Typer.scala:145)
dotty.tools.dotc.typer.Typer.tryExtensionOrConversion(Typer.scala:3872)
dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:777)
dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:940)
dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:978)
dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3367)
dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3476)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3554)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3558)
dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3669)
dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1040)
dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1231)
dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:434)
dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:145)
dotty.tools.dotc.typer.Typer.typedInfixOp(Typer.scala:3287)
dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3433)
dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3477)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3554)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3558)
dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3669)
dotty.tools.dotc.typer.Typer.$anonfun$64(Typer.scala:2816)
dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:2816)
dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3374)
dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3476)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3554)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3558)
dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3580)
dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3626)
dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3074)
dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3380)
dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3384)
dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3476)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3554)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3558)
dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3580)
dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3626)
dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3207)
dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3426)
dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3477)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3554)
dotty.tools.dotc.typer.Typer.typed(Typer.scala:3558)
dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3669)
dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:47)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:503)
dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:53)
dotty.tools.dotc.typer.TyperPhase.$anonfun$4(TyperPhase.scala:99)
scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:479)
scala.collection.Iterator$$anon$9.hasNext(Iterator.scala:583)
scala.collection.immutable.List.prependedAll(List.scala:152)
scala.collection.immutable.List$.from(List.scala:685)
scala.collection.immutable.List$.from(List.scala:682)
scala.collection.IterableOps$WithFilter.map(Iterable.scala:900)
dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:98)
dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:343)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
dotty.tools.dotc.Run.runPhases$1(Run.scala:336)
dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:384)
dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:396)
dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
dotty.tools.dotc.Run.compileUnits(Run.scala:396)
dotty.tools.dotc.Run.compileSources(Run.scala:282)
dotty.tools.dotc.Run.compile(Run.scala:267)
dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141)
dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:194)
scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)
sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:249)
sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:184)
sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:164)
sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:239)
sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:164)
sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:212)
sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:534)
sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:534)
sbt.internal.inc.Incremental$.$anonfun$apply$3(Incremental.scala:178)
sbt.internal.inc.Incremental$.$anonfun$apply$3$adapted(Incremental.scala:176)
sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:454)
sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:117)
sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:265)
sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:409)
sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:496)
sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:396)
sbt.internal.inc.Incremental$.apply(Incremental.scala:170)
sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:534)
sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:488)
sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:425)
sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
org.jetbrains.jps.incremental.scala.local.SbtCompiler.$anonfun$doCompile$3(SbtCompiler.scala:87)
scala.util.Try$.apply(Try.scala:217)
org.jetbrains.jps.incremental.scala.local.SbtCompiler.doCompile(SbtCompiler.scala:85)
org.jetbrains.jps.incremental.scala.local.SbtCompiler.compile(SbtCompiler.scala:17)
org.jetbrains.jps.incremental.scala.local.LocalServer.doCompile(LocalServer.scala:51)
org.jetbrains.jps.incremental.scala.local.LocalServer.compile(LocalServer.scala:29)
org.jetbrains.jps.incremental.scala.remote.Main$.compileLogic(Main.scala:210)
org.jetbrains.jps.incremental.scala.remote.Main$.$anonfun$handleCommand$1(Main.scala:191)
org.jetbrains.jps.incremental.scala.remote.Main$.decorated$1(Main.scala:178)
org.jetbrains.jps.incremental.scala.remote.Main$.handleCommand(Main.scala:188)
org.jetbrains.jps.incremental.scala.remote.Main$.serverLogic(Main.scala:161)
org.jetbrains.jps.incremental.scala.remote.Main$.nailMain(Main.scala:101)
org.jetbrains.jps.incremental.scala.remote.Main.nailMain(Main.scala)
java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
java.base/java.lang.reflect.Method.invoke(Method.java:580)
com.facebook.nailgun.NGSession.runImpl(NGSession.java:312)
com.facebook.nailgun.NGSession.run(NGSession.java:198)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment