Open
Description
Compiler version
3.7.1
Minimized code
class Test private (a: Int, b: Int = 1):
def this() =
this(1)
Output (click arrow to expand)
scalac Crash.scala -Ycheck:all
checking Crash.scala after phase typer
checking Crash.scala after phase inlinedPositions
checking Crash.scala after phase posttyper
checking Crash.scala after phase unrollDefs
checking Crash.scala after phase pickler
checking Crash.scala after phase inlining
checking Crash.scala after phase postInlining
checking Crash.scala after phase staging
checking Crash.scala after phase splicing
checking Crash.scala after phase pickleQuotes
checking Crash.scala after phase MegaPhase{crossVersionChecks, firstTransform, checkReentrant, elimPackagePrefixes, cookComments, checkLoopingImplicits, betaReduce, inlineVals, expandSAMs, elimRepeated, refchecks, dropForMap}
checking Crash.scala after phase MegaPhase{protectedAccessors, extmethods, uncacheGivenAliases, checkStatic, elimByName, hoistSuperArgs, forwardDepChecks, specializeApplyMethods, tryCatchPatterns, patternMatcher}
checking Crash.scala after phase MegaPhase{elimOpaque, explicitOuter, explicitSelf, interpolators, dropBreaks}
checking Crash.scala after phase MegaPhase{pruneErasedDefs, uninitialized, inlinePatterns, vcInlineMethods, seqLiterals, intercepted, getters, specializeFunctions, specializeTuples, collectNullableFields, elimOuterSelect, resolveSuper, functionXXLForwarders, paramForwarding, genericTuples, letOverApply, arrayConstructors}
checking Crash.scala after phase erasure
checking Crash.scala after phase MegaPhase{elimErasedValueType, pureStats, vcElideAllocations, etaReduce, arrayApply, elimPolyFunction, tailrec, completeJavaEnums, mixin, lazyVals, memoize, nonLocalReturns, capturedVars}
checking Crash.scala after phase constructors
checking Crash.scala after phase MegaPhase{lambdaLift, elimStaticThis, countOuterAccesses}
checking Crash.scala after phase MegaPhase{dropOuterAccessors, dropParentRefinements, checkNoSuperThis, flatten, transformWildcards, moveStatic, expandPrivate, restoreScopes, selectStatic, Collect entry points, collectSuperCalls, repeatableAnnotations}
*** error while checking Crash.scala after phase MegaPhase{dropOuterAccessors, dropParentRefinements, checkNoSuperThis, flatten, transformWildcards, moveStatic, expandPrivate, restoreScopes, selectStatic, Collect entry points, collectSuperCalls, repeatableAnnotations} ***
unhandled exception while running Ycheck on Crash.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: Crash.scala
during phase: Ycheck
mode: Mode(ImplicitsEnabled)
library version: version 2.13.16
compiler version: version 3.7.1
settings: -Ycheck List(all)
Exception in thread "main" java.lang.AssertionError: assertion failed: Crash[ModuleClass][Qualified $$ <init>][DefaultGetter 1] name is invalid on jvm
at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedDefDef$$anonfun$1(TreeChecker.scala:639)
at dotty.tools.dotc.transform.TreeChecker$Checker.withDefinedSyms(TreeChecker.scala:278)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedDefDef(TreeChecker.scala:651)
at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3544)
at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3649)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedUnadapted(TreeChecker.scala:434)
at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3727)
at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3732)
at dotty.tools.dotc.transform.TreeChecker$Checker.typed(TreeChecker.scala:416)
at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3754)
at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3800)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedStats(TreeChecker.scala:691)
at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3222)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedClassDef(TreeChecker.scala:618)
at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3550)
at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3554)
at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3649)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedUnadapted(TreeChecker.scala:434)
at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3727)
at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3732)
at dotty.tools.dotc.transform.TreeChecker$Checker.typed(TreeChecker.scala:416)
at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3754)
at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3800)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedStats(TreeChecker.scala:691)
at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3355)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedPackageDef(TreeChecker.scala:717)
at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3596)
at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3650)
at dotty.tools.dotc.transform.TreeChecker$Checker.typedUnadapted(TreeChecker.scala:434)
at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3727)
at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3732)
at dotty.tools.dotc.transform.TreeChecker$Checker.typed(TreeChecker.scala:416)
at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3843)
at dotty.tools.dotc.transform.TreeChecker.check(TreeChecker.scala:131)
at dotty.tools.dotc.transform.TreeChecker.run(TreeChecker.scala:111)
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.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.MainGenericCompiler$.run$1(MainGenericCompiler.scala:162)
at dotty.tools.MainGenericCompiler$.main(MainGenericCompiler.scala:186)
at dotty.tools.MainGenericCompiler.main(MainGenericCompiler.scala)