Skip to content

Crash on type projection #20265

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
Adam-Vandervorst opened this issue Apr 25, 2024 · 1 comment · Fixed by #21520
Closed

Crash on type projection #20265

Adam-Vandervorst opened this issue Apr 25, 2024 · 1 comment · Fixed by #21520
Labels
area:match-types itype:bug itype:crash
Milestone
3.7.0

Comments

@Adam-Vandervorst
Copy link

Compiler version

3.4.1

Minimized code

trait Poly
trait -->[X, Y] extends Poly
trait +[X, Y] extends Poly
trait *[X, Y] extends Poly

type Hinze[X <: Fix[_]] = X#unfix match
  case (k1 + k2) --> v => Hinze[(k1 --> v)] * Hinze[(k2 --> v)]
  case (k1 * k2) --> v => k1 --> Hinze[(k2 --> v)]

trait Lambda[V]:
  type Abs[X] = V * X
  type App[X] = X * X
  type L[X] = V + Abs[X] + App[X]

trait Fix[F[X]]:
  type unfix = F[Fix[F]]

@main
def m =
  println(summon[((String --> Unit) * (String --> Unit)) =:= Hinze[(String + String) --> Unit]])
  println(summon[String =:= Hinze[Fix[Lambda[String]#L] --> Unit]])

Output (click arrow to expand)

[info]         during phase: typer
[info]                 mode: Mode(ImplicitsEnabled)
[info]      library version: version 2.13.12
[info]     compiler version: version 3.4.1
[info]             settings: -bootclasspath /home/adam/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala3-library_3/3.4.1/scala3-library_3-3.4.1.jar:/home/adam/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar -classpath /home/adam/Projects/SMORK/target/scala-3.4.1/classes -d /home/adam/Projects/SMORK/target/scala-3.4.1/classes -source 3.3

[error] ## Exception when compiling 1 sources to /home/adam/Projects/SMORK/target/scala-3.4.1/classes
[error] scala.MatchError: NoType (of class dotty.tools.dotc.core.Types$NoType$)
[error] dotty.tools.dotc.core.TypeComparer.disjointnessBoundary$1(TypeComparer.scala:2865)
[error] dotty.tools.dotc.core.TypeComparer.provablyDisjoint(TypeComparer.scala:2868)
[error] dotty.tools.dotc.core.TypeComparer.provablyDisjoint(TypeComparer.scala:2810)
[error] dotty.tools.dotc.core.TrackingTypeComparer.matchLegacyPatMat$1(TypeComparer.scala:3548)
[error] dotty.tools.dotc.core.TrackingTypeComparer.matchCase$1(TypeComparer.scala:3350)
[error] dotty.tools.dotc.core.TrackingTypeComparer.recur$2(TypeComparer.scala:3585)
[error] dotty.tools.dotc.core.TrackingTypeComparer.op$proxy82$1(TypeComparer.scala:3622)
[error] dotty.tools.dotc.core.TrackingTypeComparer.matchCases(TypeComparer.scala:3623)
[error] dotty.tools.dotc.core.Types$MatchType.matchCases$1(Types.scala:5049)
[error] dotty.tools.dotc.core.Types$MatchType.reduced$$anonfun$1(Types.scala:5058)
[error] dotty.tools.dotc.core.TypeComparer.inSubComparer(TypeComparer.scala:3062)
[error] dotty.tools.dotc.core.TypeComparer.tracked(TypeComparer.scala:3072)
[error] dotty.tools.dotc.core.TypeComparer$.tracked(TypeComparer.scala:3240)
[error] dotty.tools.dotc.core.Types$MatchType.reduced(Types.scala:5058)
[error] dotty.tools.dotc.core.Types$MatchType.tryNormalize(Types.scala:5007)
[error] dotty.tools.dotc.core.Types$AppliedType.tryMatchAlias$1$$anonfun$1(Types.scala:4570)
[error] dotty.tools.dotc.core.MatchTypeTrace$.recurseWith(MatchTypeTrace.scala:81)
[error] dotty.tools.dotc.core.Types$AppliedType.tryMatchAlias$1(Types.scala:4571)
[error] dotty.tools.dotc.core.Types$AppliedType.tryNormalize(Types.scala:4576)
[error] dotty.tools.dotc.core.TypeOps$.simplify(TypeOps.scala:149)
[error] dotty.tools.dotc.core.Types$Type.simplified(Types.scala:2042)
[error] dotty.tools.dotc.typer.Typer.simplify(Typer.scala:3216)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3200)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3274)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3278)
[error] dotty.tools.dotc.typer.Typer.typedType(Typer.scala:3392)
[error] dotty.tools.dotc.typer.Typer.typedArg$1(Typer.scala:2298)
[error] dotty.tools.dotc.typer.Typer.$anonfun$51(Typer.scala:2302)
[error] dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:160)
[error] dotty.tools.dotc.core.Decorators$.zipWithConserve(Decorators.scala:161)
[error] dotty.tools.dotc.typer.Typer.typedAppliedTypeTree(Typer.scala:2302)
[error] dotty.tools.dotc.typer.Typer.typedInfixOp(Typer.scala:2999)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3153)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3197)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3274)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3278)
[error] dotty.tools.dotc.typer.Typer.typedType(Typer.scala:3392)
[error] dotty.tools.dotc.typer.Applications.$anonfun$14(Applications.scala:1167)
[error] dotty.tools.dotc.core.Decorators$.loop$1(Decorators.scala:99)
[error] dotty.tools.dotc.core.Decorators$.mapconserve(Decorators.scala:115)
[error] dotty.tools.dotc.typer.Applications.typedTypeApply(Applications.scala:1167)
[error] dotty.tools.dotc.typer.Applications.typedTypeApply$(Applications.scala:351)
[error] dotty.tools.dotc.typer.Typer.typedTypeApply(Typer.scala:120)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3133)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3197)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:509)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:432)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:510)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:913)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:913)
[error] dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:605)
[error] dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:669)
[error] dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:491)
[error] dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:795)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:912)
[error] dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1142)
[error] dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:351)
[error] dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:120)
[error] dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:985)
[error] dotty.tools.dotc.typer.Applications.realApply$1$$anonfun$2(Applications.scala:1068)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:3413)
[error] dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:1079)
[error] dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1117)
[error] dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:351)
[error] dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:120)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3113)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3197)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3274)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3278)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3327)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3346)
[error] dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1193)
[error] dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1197)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3121)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3197)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3274)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3278)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3389)
[error] dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1685)
[error] dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1675)
[error] dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1685)
[error] dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:1941)
[error] dotty.tools.dotc.inlines.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:256)
[error] dotty.tools.dotc.typer.Namer.typedAheadRhs$1(Namer.scala:1941)
[error] dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:1949)
[error] dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:1967)
[error] dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:1968)
[error] dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:1979)
[error] dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1723)
[error] dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1729)
[error] dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1828)
[error] dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:808)
[error] dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:955)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:831)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:178)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:190)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:192)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:398)
[error] dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:3060)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3085)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3196)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3274)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3278)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3300)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3346)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2790)
[error] dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3101)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3105)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3196)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3274)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3278)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3300)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3346)
[error] dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:2923)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3147)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3197)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3274)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:3278)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3389)
[error] dotty.tools.dotc.typer.TyperPhase.typeCheck$$anonfun$1(TyperPhase.scala:47)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] dotty.tools.dotc.core.Phases$Phase.monitor(Phases.scala:477)
[error] dotty.tools.dotc.typer.TyperPhase.typeCheck(TyperPhase.scala:53)
[error] dotty.tools.dotc.typer.TyperPhase.$anonfun$4(TyperPhase.scala:99)
[error] scala.collection.Iterator$$anon$6.hasNext(Iterator.scala:479)
[error] scala.collection.Iterator$$anon$9.hasNext(Iterator.scala:583)
[error] scala.collection.immutable.List.prependedAll(List.scala:152)
[error] scala.collection.immutable.List$.from(List.scala:684)
[error] scala.collection.immutable.List$.from(List.scala:681)
[error] scala.collection.IterableOps$WithFilter.map(Iterable.scala:898)
[error] dotty.tools.dotc.typer.TyperPhase.runOn(TyperPhase.scala:100)
[error] dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:315)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
[error] dotty.tools.dotc.Run.runPhases$1(Run.scala:337)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:350)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:360)
[error] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
[error] dotty.tools.dotc.Run.compileUnits(Run.scala:360)
[error] dotty.tools.dotc.Run.compileSources(Run.scala:261)
[error] dotty.tools.dotc.Run.compile(Run.scala:246)
[error] dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
[error] dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141)
[error] dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:193)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:248)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:183)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:163)
[error] sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:239)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:163)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:211)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:534)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:534)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$5(Incremental.scala:180)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$5$adapted(Incremental.scala:178)
[error] sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:464)
[error] sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:263)
[error] sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:419)
[error] sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:506)
[error] sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:406)
[error] sbt.internal.inc.Incremental$.apply(Incremental.scala:172)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:534)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:488)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:425)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
[error] sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:2371)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$2(Defaults.scala:2321)
[error] sbt.internal.server.BspCompileTask$.$anonfun$compute$1(BspCompileTask.scala:31)
[error] sbt.internal.io.Retry$.apply(Retry.scala:47)
[error] sbt.internal.io.Retry$.apply(Retry.scala:29)
[error] sbt.internal.io.Retry$.apply(Retry.scala:24)
[error] sbt.internal.server.BspCompileTask$.compute(BspCompileTask.scala:31)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:2319)
[error] scala.Function1.$anonfun$compose$1(Function1.scala:49)
[error] sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:63)
[error] sbt.std.Transform$$anon$4.work(Transform.scala:69)
[error] sbt.Execute.$anonfun$submit$2(Execute.scala:283)
[error] sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:24)
[error] sbt.Execute.work(Execute.scala:292)
[error] sbt.Execute.$anonfun$submit$1(Execute.scala:283)
[error] sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265)
[error] sbt.CompletionService$$anon$2.call(CompletionService.scala:65)
[error] java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:539)
[error] java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1136)
[error] java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:635)

Note

I did not expect this code to compile; I was still writing the Hinze function.
@Adam-Vandervorst Adam-Vandervorst added itype:bug itype:crash stat:needs triage Every issue needs to have an "area" and "itype" label labels Apr 25, 2024
@odersky odersky added area:match-types and removed stat:needs triage Every issue needs to have an "area" and "itype" label labels Apr 26, 2024
wjoel added a commit to wjoel/scala3 that referenced this issue Aug 30, 2024
@wjoel
Handle NoType in TypeComparer.disjointnessBoundary
601bf08 
Closes scala#20265
@wjoel wjoel mentioned this issue Aug 30, 2024
Merged
@eejbyfeldt
Copy link

I also hit this crash with the following code:

trait Expr[T]

trait Ops[T](using m: scala.deriving.Mirror.ProductOf[T]) {
  def apply(args: Tuple.Map[m.MirroredElemTypes, Expr]): Expr[T] = ???
}

case class P(a: Int)
object P extends Ops[P]

It reports an error and then goes on to crash

details 
-- Error: scala3_crash.scala:4:6 -------------
4 |  def apply(args: Tuple.Map[m.MirroredElemTypes, Expr]): Expr[T] = ???
  |      ^
  |    non-private method apply in trait Ops refers to private given instance m
  |    in its type signature (args: Tuple.Map[Ops.this.m.MirroredElemTypes, Expr]): Expr[T]

  exception occurred while typechecking scala3_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: scala3_crash.scala
        during phase: typer
                mode: Mode(ImplicitsEnabled)
     library version: version 2.13.15
    compiler version: version 3.6.4-RC1-bin-SNAPSHOT-git-5176f9f
            settings: -classpath dev/scala/scala3/dist/linux-x86_64/target/universal/stage/maven2/org/scala-lang/scala3-library_3/3.6.4-RC1-bin-SNAPSHOT/scala3-library_3-3.6.4-RC1-bin-SNAPSHOT.jar:dev/scala/scala3/dist/linux-x86_64/target/universal/stage/maven2/org/scala-lang/scala-library/2.13.15/scala-library-2.13.15.jar -d scala_playground/.scala-build/scala_playground_bd865aa05f-eb91834eb4/classes/main -sourceroot scala_playground

Exception in thread "main" scala.MatchError: NoType (of class dotty.tools.dotc.core.Types$NoType$)
	at dotty.tools.dotc.core.TypeComparer.disjointnessBoundary$1(TypeComparer.scala:3065)
	at dotty.tools.dotc.core.TypeComparer.provablyDisjoint(TypeComparer.scala:3068)
	at dotty.tools.dotc.core.TypeComparer.provablyDisjoint(TypeComparer.scala:3001)
	at dotty.tools.dotc.core.MatchReducer.matchSubTypeTest$1(TypeComparer.scala:3568)
	at dotty.tools.dotc.core.MatchReducer.matchCase$1(TypeComparer.scala:3561)
	at dotty.tools.dotc.core.MatchReducer.recur$2(TypeComparer.scala:3833)
	at dotty.tools.dotc.core.MatchReducer.op$proxy82$1(TypeComparer.scala:3862)
	at dotty.tools.dotc.core.MatchReducer.matchCases(TypeComparer.scala:3862)
	at dotty.tools.dotc.core.Types$MatchType.reduced$$anonfun$1(Types.scala:5155)
	at dotty.tools.dotc.core.TypeComparer.inSubComparer(TypeComparer.scala:3290)
	at dotty.tools.dotc.core.TypeComparer.reduceMatchWith(TypeComparer.scala:3301)
	at dotty.tools.dotc.core.TypeComparer$.reduceMatchWith(TypeComparer.scala:3472)
	at dotty.tools.dotc.core.Types$MatchType.reduced(Types.scala:5155)
	at dotty.tools.dotc.core.Types$Type.tryNormalize(Types.scala:1556)
	at dotty.tools.dotc.core.Types$AppliedType.tryNormalize(Types.scala:4625)
	at dotty.tools.dotc.core.SymDenotations$ClassDenotation.recur$4(SymDenotations.scala:2226)
	at dotty.tools.dotc.core.SymDenotations$ClassDenotation.baseTypeOf(SymDenotations.scala:2346)
	at dotty.tools.dotc.core.Types$Type.baseType(Types.scala:1217)
	at dotty.tools.dotc.core.TypeComparer.nonExprBaseType(TypeComparer.scala:1613)
	at dotty.tools.dotc.core.TypeComparer.tryBaseType$1(TypeComparer.scala:932)
	at dotty.tools.dotc.core.TypeComparer.thirdTryNamed$1(TypeComparer.scala:607)
	at dotty.tools.dotc.core.TypeComparer.thirdTry$1(TypeComparer.scala:645)
	at dotty.tools.dotc.core.TypeComparer.secondTry$1(TypeComparer.scala:570)
	at dotty.tools.dotc.core.TypeComparer.compareNamed$1(TypeComparer.scala:351)
	at dotty.tools.dotc.core.TypeComparer.firstTry$1(TypeComparer.scala:357)
	at dotty.tools.dotc.core.TypeComparer.recur(TypeComparer.scala:1595)
	at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:229)
	at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:239)
	at dotty.tools.dotc.core.TypeComparer.isSameType(TypeComparer.scala:2355)
	at dotty.tools.dotc.core.TypeComparer.isSame(TypeComparer.scala:2362)
	at dotty.tools.dotc.core.ConstraintHandling.op$proxy5$1(ConstraintHandling.scala:495)
	at dotty.tools.dotc.core.ConstraintHandling.isSameTypeWhenFrozen(ConstraintHandling.scala:495)
	at dotty.tools.dotc.core.ConstraintHandling.isSameTypeWhenFrozen$(ConstraintHandling.scala:29)
	at dotty.tools.dotc.core.TypeComparer.isSameTypeWhenFrozen(TypeComparer.scala:31)
	at dotty.tools.dotc.core.TypeComparer.loop$2(TypeComparer.scala:2298)
	at dotty.tools.dotc.core.TypeComparer.matchingMethodParams(TypeComparer.scala:2314)
	at dotty.tools.dotc.core.TypeComparer.matchesType(TypeComparer.scala:2259)
	at dotty.tools.dotc.core.TypeComparer$.matchesType(TypeComparer.scala:3390)
	at dotty.tools.dotc.core.Types$Type.matches(Types.scala:1200)
	at dotty.tools.dotc.core.Types$Type.matchesLoosely(Types.scala:1207)
	at dotty.tools.dotc.core.Denotations$Denotation.qualifies$1(Denotations.scala:363)
	at dotty.tools.dotc.core.Denotations$Denotation.matchingDenotation(Denotations.scala:369)
	at dotty.tools.dotc.typer.Namer.$anonfun$35(Namer.scala:2060)
	at scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
	at scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
	at scala.collection.immutable.List.foldLeft(List.scala:79)
	at dotty.tools.dotc.typer.Namer.inferredResultType(Namer.scala:2042)
	at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1809)
	at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1815)
	at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1941)
	at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:830)
	at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:990)
	at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:859)
	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.typer.Typer.retrieveSym(Typer.scala:3470)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3495)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3607)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3712)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3758)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:3187)
	at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$1(Typer.scala:3511)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:3515)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3607)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:3712)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:3758)
	at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:3320)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3557)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:3608)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3685)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:3690)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:3801)
	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:343)
	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:1323)
	at dotty.tools.dotc.Run.runPhases$1(Run.scala:336)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:383)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:395)
	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:395)
	at dotty.tools.dotc.Run.compileSources(Run.scala:282)
	at dotty.tools.dotc.Run.compile(Run.scala:267)
	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

wjoel added a commit to wjoel/scala3 that referenced this issue Jan 26, 2025
@wjoel
Handle NoType in TypeComparer.disjointnessBoundary
c00f214 
Closes scala#20265
sjrd added a commit that referenced this issue Jan 29, 2025
@sjrd
Handle NoType in TypeComparer.disjointnessBoundary (#21520)
a5f7e1c 
Closes #20265
@WojciechMazur WojciechMazur added this to the 3.7.0 milestone Mar 11, 2025
tgodzik pushed a commit to scala/scala3-lts that referenced this issue Apr 21, 2025
@wjoel @tgodzik
Handle NoType in TypeComparer.disjointnessBoundary
9093057 
Closes scala#20265
tgodzik added a commit to scala/scala3-lts that referenced this issue Apr 21, 2025
@tgodzik
Handle NoType in TypeComparer.disjointnessBoundary
4b3ac8b 
Closes scala#20265

[Cherry-picked c00f214][modified]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:match-types itype:bug itype:crash
Projects
None yet
Milestone
3.7.0
Development

Successfully merging a pull request may close this issue.

Handle NoType in TypeComparer.disjointnessBoundary wjoel/scala3
4 participants
@odersky @Adam-Vandervorst @WojciechMazur @eejbyfeldt