Skip to content

Nightly Dotty workflow of 2025-04-24 failed #23041

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
github-actions bot opened this issue Apr 24, 2025 · 3 comments
Closed

Nightly Dotty workflow of 2025-04-24 failed #23041

github-actions bot opened this issue Apr 24, 2025 · 3 comments
Labels
area:experimental:cc Capture checking related itype:bug itype:crash prio:blocker

Comments

@github-actions
Copy link
Contributor

See https://github.com/scala/scala3/actions/runs/14632636936
@Gedochao Gedochao added itype:crash area:experimental:cc Capture checking related labels Apr 24, 2025
@Gedochao
Copy link
Contributor 

 unhandled exception while running cc on tests/neg-custom-args/captures/capture-vars-subtyping2.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: tests/neg-custom-args/captures/capture-vars-subtyping2.scala
        during phase: cc
                mode: Mode(ImplicitsEnabled,ReadPositions)
     library version: version 2.13.16
    compiler version: version 3.7.1-RC1-bin-SNAPSHOT-nonbootstrapped-git-9f63495
            settings: -Xsemanticdb true -Xunchecked-java-output-version 9 -Xverify-signatures true -Ycheck List(all) -Yforce-sbt-phases true -Yno-deep-subtypes true -Yno-double-bindings true -classpath /root/.cache/coursier/v1/https/scala-webapps.epfl.ch/artifactory/central/org/scala-lang/scala-library/2.13.16/scala-library-2.13.16.jar:/__w/scala3/scala3/library/../out/bootstrap/scala3-library-bootstrapped/scala-3.7.1-RC1-bin-SNAPSHOT-nonbootstrapped/scala3-library_3-3.7.1-RC1-bin-SNAPSHOT.jar:out/compileNeg/captures/capture-vars-subtyping2 -color never -d out/compileNeg/captures/capture-vars-subtyping2 -indent true -language List(experimental.captureChecking) -pagewidth 120

Fatal compiler crash when compiling: tests/neg-custom-args/captures/capture-vars-subtyping2.scala:
assertion failed: not a trackable CaptureRef: x.f.type with underlying [x.f.type, <notype>]
	at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
	at dotty.tools.dotc.core.Types$BiTypeMap.ensureTrackable$1(Types.scala:6160)
	at dotty.tools.dotc.core.Types$BiTypeMap.forward(Types.scala:6161)
	at dotty.tools.dotc.core.Types$BiTypeMap.forward$(Types.scala:6144)
	at dotty.tools.dotc.core.Substituters$SubstBindingMap.forward(Substituters.scala:165)
	at dotty.tools.dotc.cc.CaptureSet.$anonfun$6(CaptureSet.scala:321)
	at dotty.tools.dotc.util.SimpleIdentitySet$Set1.map(SimpleIdentitySet.scala:97)
	at dotty.tools.dotc.cc.CaptureSet.map(CaptureSet.scala:321)
	at dotty.tools.dotc.core.Types$TypeMap.mapCapturingType(Types.scala:6247)
	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:6300)
	at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:24)
	at dotty.tools.dotc.core.Types$Type.subst(Types.scala:1917)
	at dotty.tools.dotc.core.Types$LambdaType.substParams$1(Types.scala:3873)
	at dotty.tools.dotc.core.Types$LambdaType.substParams$1(Types.scala:3873)
	at dotty.tools.dotc.core.Types$LambdaType.newLikeThis$$anonfun$1(Types.scala:3877)
	at dotty.tools.dotc.core.Types$MethodType.<init>(Types.scala:4146)
	at dotty.tools.dotc.core.Types$CachedMethodType.<init>(Types.scala:4171)
	at dotty.tools.dotc.core.Types$MethodTypeCompanion.apply(Types.scala:4248)
	at dotty.tools.dotc.core.Types$MethodTypeCompanion.apply(Types.scala:4247)
	at dotty.tools.dotc.core.Types$LambdaType.newLikeThis(Types.scala:3878)
	at dotty.tools.dotc.core.Types$LambdaType.newLikeThis$(Types.scala:3769)
	at dotty.tools.dotc.core.Types$MethodOrPoly.newLikeThis(Types.scala:3891)
	at dotty.tools.dotc.core.Types$LambdaType.derivedLambdaType(Types.scala:3868)
	at dotty.tools.dotc.core.Types$LambdaType.derivedLambdaType$(Types.scala:3769)
	at dotty.tools.dotc.core.Types$MethodOrPoly.derivedLambdaType(Types.scala:3891)
	at dotty.tools.dotc.cc.Setup.dotty$tools$dotc$cc$Setup$$anon$3$$_$paramsToCap$1(Setup.scala:641)
	at dotty.tools.dotc.cc.Setup$$anon$3.dotty$tools$dotc$cc$Setup$$anon$3$$_$_$newInfo$2(Setup.scala:654)
	at dotty.tools.dotc.cc.Setup$$anon$6.complete(Setup.scala:670)
	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:393)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckNamed$1(Recheck.scala:523)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckStart(Recheck.scala:558)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheck(Recheck.scala:574)
	at dotty.tools.dotc.cc.CheckCaptures$CaptureChecker.recheck(CheckCaptures.scala:1219)
	at dotty.tools.dotc.transform.Recheck$Rechecker.traverse$1(Recheck.scala:492)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckStats(Recheck.scala:495)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckClassDef(Recheck.scala:284)
	at dotty.tools.dotc.cc.CheckCaptures$CaptureChecker.recheckClassDef(CheckCaptures.scala:1157)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckNamed$1(Recheck.scala:530)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckStart(Recheck.scala:558)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheck(Recheck.scala:574)
	at dotty.tools.dotc.cc.CheckCaptures$CaptureChecker.recheck(CheckCaptures.scala:1219)
	at dotty.tools.dotc.transform.Recheck$Rechecker.traverse$1(Recheck.scala:492)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckStats(Recheck.scala:495)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckPackageDef(Recheck.scala:484)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckUnnamed$1(Recheck.scala:553)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheckStart(Recheck.scala:559)
	at dotty.tools.dotc.transform.Recheck$Rechecker.recheck(Recheck.scala:574)
	at dotty.tools.dotc.cc.CheckCaptures$CaptureChecker.recheck(CheckCaptures.scala:1219)
	at dotty.tools.dotc.transform.Recheck$Rechecker.checkUnit(Recheck.scala:632)
	at dotty.tools.dotc.cc.CheckCaptures$CaptureChecker.iterate$1(CheckCaptures.scala:1740)
	at dotty.tools.dotc.cc.CheckCaptures$CaptureChecker.checkUnit$$anonfun$2(CheckCaptures.scala:1751)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at dotty.tools.dotc.cc.CaptureSet$.withCaptureSetsExplained(CaptureSet.scala:1436)
	at dotty.tools.dotc.cc.CheckCaptures$CaptureChecker.checkUnit(CheckCaptures.scala:1757)
	at dotty.tools.dotc.transform.Recheck.run(Recheck.scala:147)
	at dotty.tools.dotc.cc.CheckCaptures.run(CheckCaptures.scala:230)
	at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:383)
	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.Phases$Phase.runOn(Phases.scala:376)
	at dotty.tools.dotc.transform.Recheck.runOn(Recheck.scala:151)
	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.vulpix.ParallelTesting$Test.compile(ParallelTesting.scala:564)
	at dotty.tools.vulpix.ParallelTesting$CompilationLogic.compileTestSource$$anonfun$1(ParallelTesting.scala:252)
	at scala.util.Try$.apply(Try.scala:217)
	at dotty.tools.vulpix.ParallelTesting$CompilationLogic.dotty$tools$vulpix$ParallelTesting$CompilationLogic$$compileTestSource(ParallelTesting.scala:264)
	at dotty.tools.vulpix.ParallelTesting$$anon$3.checkTestSource$$anonfun$1(ParallelTesting.scala:295)
	at dotty.tools.vulpix.ParallelTesting$$anon$3.checkTestSource$$anonfun$adapted$1(ParallelTesting.scala:298)
	at scala.Function0.apply$mcV$sp(Function0.scala:42)
	at dotty.tools.vulpix.ParallelTesting$Test.tryCompile(ParallelTesting.scala:482)
	at dotty.tools.vulpix.ParallelTesting$$anon$3.checkTestSource(ParallelTesting.scala:298)
	at dotty.tools.vulpix.ParallelTesting$Test$LoggedRunnable.run(ParallelTesting.scala:378)
	at dotty.tools.vulpix.ParallelTesting$Test$LoggedRunnable.run$(ParallelTesting.scala:360)
	at dotty.tools.vulpix.ParallelTesting$$anon$3.run(ParallelTesting.scala:293)
	at java.base/java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1375)
	at java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:373)
	at java.base/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1182)
	at java.base/java.util.concurrent.ForkJoinPool.scan(ForkJoinPool.java:1655)
	at java.base/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1622)
	at java.base/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:165)
Error:  Test dotty.tools.dotc.CompilationTests.negAll failed: java.lang.AssertionError: Neg test should have failed, but did not, took 54.688 sec
Error:      at dotty.tools.vulpix.ParallelTesting$CompilationTest.checkExpectedErrors(ParallelTesting.scala:1218)
Error:      at dotty.tools.dotc.CompilationTests.negAll(CompilationTests.scala:157)
Error:      at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
Error:      at jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
Error:      at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
Error:      at java.lang.reflect.Method.invoke(Method.java:569)
Error:      ...

@Gedochao
Copy link
Contributor

cc @bracevac @Linyxus @noti0na1

@bracevac
Copy link
Contributor

#23039 should fix this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:experimental:cc Capture checking related itype:bug itype:crash prio:blocker
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@bracevac @Gedochao @hamzaremmal