Skip to content

Assertion in type checker fails #18729

New issue
New issue
Closed
Closed
Assertion in type checker fails#18729
Assignees
dwijnand
Labels
itype:bugitype:crashstat:needs minimizationNeeds a self contained minimization
@sc8ing

Description

@sc8ing
sc8ing
opened on Oct 19, 2023

Compiler version

3.3.1 (Java 17.0.8.1, not sure if that matters)

Minimized code

// Dependencies loaded in ammonite, but fails when building outside the repl the same
import $ivy.`dev.zio::zio:2.0.10`, zio._ 
import $ivy.`dev.zio::zio-http:3.0.0-RC2`, zio.http._ 

Handler.fromFunctionZIO[Request](req => ZIO.succeed(Response.ok)).toHttpApp

Output (click arrow to expand)

Loading...
Welcome to the Ammonite Repl 3.0.0-M0-56-1bcbe7f6 (Scala 3.3.1 Java 17.0.8.1)
@ import $ivy.`dev.zio::zio:2.0.10`, zio._  
import $ivy.$                    , zio._ 

@ import $ivy.`dev.zio::zio-http:3.0.0-RC2`, zio.http._  
import $ivy.$                            , zio.http._ 

@ Handler.fromFunctionZIO[Request](req => ZIO.succeed(Response.ok)).toHttpApp 
java.lang.AssertionError: assertion failed while typechecking cmd2.sc
java.lang.AssertionError: assertion failed
  scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:11)
  dotty.tools.dotc.ast.tpd$.TypeApply(tpd.scala:60)
  dotty.tools.dotc.ast.tpd$TreeOps$.appliedToTypeTrees$extension(tpd.scala:985)
  dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4255)
  dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3587)
  dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:497)
  dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:897)
  dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:897)
  dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:589)
  dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:653)
  dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:492)
  dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:779)
  dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:896)
  dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1126)
  dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:352)
  dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:116)
  dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:969)
  dotty.tools.dotc.typer.Applications.realApply$1$$anonfun$2(Applications.scala:1052)
  dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3324)
  dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1063)
  dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1101)
  dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:352)
  dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:116)
  dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3048)
  dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3112)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3184)
  dotty.tools.dotc.typer.Implicits.tryConversion$1(Implicits.scala:1136)
  dotty.tools.dotc.typer.Implicits.typedImplicit(Implicits.scala:1167)
  dotty.tools.dotc.typer.Implicits.typedImplicit$(Implicits.scala:818)
  dotty.tools.dotc.typer.Typer.typedImplicit(Typer.scala:116)
  dotty.tools.dotc.typer.Implicits$ImplicitSearch.tryImplicit(Implicits.scala:1242)
  dotty.tools.dotc.typer.Implicits$ImplicitSearch.rank$1(Implicits.scala:1341)
  dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1511)
  dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1539)
  dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1547)
  dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1572)
  dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:1060)
  dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:818)
  dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:116)
  dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:856)
  dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:818)
  dotty.tools.dotc.typer.Typer.inferView(Typer.scala:116)
  dotty.tools.dotc.typer.Implicits.viewExists(Implicits.scala:831)
  dotty.tools.dotc.typer.Implicits.viewExists$(Implicits.scala:818)
  dotty.tools.dotc.typer.Typer.viewExists(Typer.scala:116)
  dotty.tools.dotc.typer.Implicits.ignoredConvertibleImplicits$1$$anonfun$3(Implicits.scala:960)
  scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:479)
  scala.collection.Iterator.isEmpty(Iterator.scala:466)
  scala.collection.Iterator.isEmpty$(Iterator.scala:466)
  scala.collection.AbstractIterator.isEmpty(Iterator.scala:1300)
  scala.collection.View$Filter.isEmpty(View.scala:146)
  scala.collection.IterableOnceOps.nonEmpty(IterableOnce.scala:853)
  scala.collection.IterableOnceOps.nonEmpty$(IterableOnce.scala:853)
  scala.collection.AbstractIterable.nonEmpty(Iterable.scala:933)
  dotty.tools.dotc.reporting.MissingImplicitArgument.noChainConversionsNote$1(messages.scala:2838)
  dotty.tools.dotc.reporting.MissingImplicitArgument.msgPostscript$$anonfun$4(messages.scala:2846)
  scala.Option.orElse(Option.scala:477)
  dotty.tools.dotc.reporting.MissingImplicitArgument.msgPostscript(messages.scala:2846)
  dotty.tools.dotc.reporting.Message.message$$anonfun$1(Message.scala:345)
  dotty.tools.dotc.reporting.Message.inMessageContext(Message.scala:341)
  dotty.tools.dotc.reporting.Message.message(Message.scala:345)
  dotty.tools.dotc.reporting.Message.isNonSensical(Message.scala:322)
  dotty.tools.dotc.reporting.HideNonSensicalMessages.isHidden(HideNonSensicalMessages.scala:16)
  dotty.tools.dotc.reporting.HideNonSensicalMessages.isHidden$(HideNonSensicalMessages.scala:10)
  ammonite.compiler.Compiler$$anon$12.isHidden(Compiler.scala:477)
  dotty.tools.dotc.reporting.Reporter.issueUnconfigured(Reporter.scala:156)
  dotty.tools.dotc.reporting.Reporter.go$1(Reporter.scala:181)
  dotty.tools.dotc.reporting.Reporter.issueIfNotSuppressed(Reporter.scala:200)
  dotty.tools.dotc.reporting.Reporter.report(Reporter.scala:203)
  dotty.tools.dotc.reporting.StoreReporter.report(StoreReporter.scala:50)
  dotty.tools.dotc.report$.error(report.scala:68)
  dotty.tools.dotc.typer.Typer.issueErrors$1$$anonfun$1(Typer.scala:3808)
  scala.runtime.function.JProcedure3.apply(JProcedure3.java:15)
  scala.runtime.function.JProcedure3.apply(JProcedure3.java:10)
  scala.collection.LazyZip3.foreach(LazyZipOps.scala:248)
  dotty.tools.dotc.typer.Typer.issueErrors$1(Typer.scala:3810)
  dotty.tools.dotc.typer.Typer.addImplicitArgs$1(Typer.scala:3832)
  dotty.tools.dotc.typer.Typer.adaptNoArgsImplicitMethod$1(Typer.scala:3849)
  dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:4038)
  dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:4268)
  dotty.tools.dotc.typer.Typer.adapt(Typer.scala:3587)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3184)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3188)
  dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3300)
  dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1653)
  dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1643)
  dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1653)
  dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:1906)
  dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:243)
  dotty.tools.dotc.typer.Namer.typedAheadRhs$1(Namer.scala:1906)
  dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:1914)
  dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:1932)
  dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:1933)
  dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:1944)
  dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1691)
  dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1698)
  dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:787)
  dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:934)
  dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:814)
  dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:174)
  dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:187)
  dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:189)
  dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:393)
  dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2989)
  dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3014)
  dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3111)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3184)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3188)
  dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3210)
  dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3256)
  dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2669)
  dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3036)
  dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3040)
  dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3111)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3184)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3188)
  dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3210)
  dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3256)
  dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:2812)
  dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3081)
  dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3112)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3184)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3188)
  dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3237)
  dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3256)
  dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:2812)
  dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3081)
  dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3112)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3184)
  dotty.tools.dotc.typer.Typer.typed(Typer.scala:3188)
  dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3300)
  dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:44)
  dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$adapted$1(TyperPhase.scala:54)
  scala.Function0.apply$mcV$sp(Function0.scala:42)
  dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:440)
  dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:54)
  dotty.tools.dotc.typer.TyperPhase.runOn$$anonfun$3(TyperPhase.scala:88)
  scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
  scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
  scala.collection.immutable.List.foreach(List.scala:333)
  dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:88)
  dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:246)
  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:262)
  dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:270)
  dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:279)
  dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:67)
  dotty.tools.dotc.Run.compileUnits(Run.scala:279)
  dotty.tools.dotc.Run.compileUnits(Run.scala:200)
  ammonite.compiler.Compiler.compile(Compiler.scala:233)
  ammonite.compiler.CompilerLifecycleManager.compileClass(CompilerLifecycleManager.scala:135)
  ammonite.interp.Interpreter.$anonfun$evaluateLine$2(Interpreter.scala:289)
  ammonite.util.Catching.flatMap(Res.scala:115)
  ammonite.interp.Interpreter.evaluateLine(Interpreter.scala:284)
  ammonite.interp.Interpreter.$anonfun$processLine$6(Interpreter.scala:272)
  ammonite.util.Res$Success.flatMap(Res.scala:62)
  ammonite.interp.Interpreter.$anonfun$processLine$4(Interpreter.scala:255)
  ammonite.util.Res$Success.flatMap(Res.scala:62)
  ammonite.interp.Interpreter.$anonfun$processLine$2(Interpreter.scala:248)
  ammonite.util.Catching.flatMap(Res.scala:115)
  ammonite.interp.Interpreter.processLine(Interpreter.scala:247)
  ammonite.repl.Repl.$anonfun$action$10(Repl.scala:206)
  ammonite.util.Res$Success.flatMap(Res.scala:62)
  ammonite.repl.Repl.$anonfun$action$6(Repl.scala:193)
  ammonite.repl.Scoped.$anonfun$flatMap$1(Signaller.scala:45)
  ammonite.repl.Signaller.apply(Signaller.scala:28)
  ammonite.repl.Scoped.flatMap(Signaller.scala:45)
  ammonite.repl.Scoped.flatMap$(Signaller.scala:45)
  ammonite.repl.Signaller.flatMap(Signaller.scala:16)
  ammonite.repl.Repl.$anonfun$action$4(Repl.scala:185)
  ammonite.util.Res$Success.flatMap(Res.scala:62)
  ammonite.repl.Repl.action(Repl.scala:175)
  ammonite.repl.Repl.loop$1(Repl.scala:219)
  ammonite.repl.Repl.run(Repl.scala:234)
  ammonite.Main.run(Main.scala:248)
  ammonite.MainRunner.$anonfun$runRepl$1(MainRunner.scala:72)
  ammonite.MainRunner.watchLoop(MainRunner.scala:53)
  ammonite.MainRunner.runRepl(MainRunner.scala:72)
  ammonite.AmmoniteMain$.main0(AmmoniteMain.scala:92)
  ammonite.AmmoniteMain$.main(AmmoniteMain.scala:31)
  ammonite.AmmoniteMain.main(AmmoniteMain.scala)
  jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
  jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  java.lang.reflect.Method.invoke(Method.java:568)
  coursier.bootstrap.launcher.a.a(Unknown Source)
  coursier.bootstrap.launcher.Launcher.main(Unknown Source)


@

Metadata

Metadata

Assignees

Labels

itype:bugitype:crashstat:needs minimizationNeeds a self contained minimization

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions