Skip to content
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

ProvablyDisjointClasses StackOverflowError when using sealed decorator mixins #22266

Open
NovaMage opened this issue Dec 27, 2024 · 4 comments
Open

ProvablyDisjointClasses StackOverflowError when using sealed decorator mixins #22266

NovaMage opened this issue Dec 27, 2024 · 4 comments
Assignees
@dwijnand
Labels
itype:bug itype:crash regression This worked in a previous version but doesn't anymore

Comments

@NovaMage
Copy link

NovaMage commented Dec 27, 2024 •
edited
Loading

Compiler version

3.6.3-RC1

Minimized code

sealed trait NonPolygon
sealed trait Polygon

sealed trait SymmetryAspect
sealed trait RotationalSymmetry      extends SymmetryAspect
sealed trait MaybeRotationalSymmetry extends SymmetryAspect

enum Shape:
  case Circle   extends Shape with NonPolygon with RotationalSymmetry
  case Triangle extends Shape with Polygon with MaybeRotationalSymmetry
  case Square   extends Shape with Polygon with RotationalSymmetry

object Shape:

  def hasPolygon(
    rotationalSyms: Vector[Shape & RotationalSymmetry],
    maybeSyms: Vector[Shape & MaybeRotationalSymmetry]
  ): Boolean =
    val all = rotationalSyms.concat(maybeSyms)
    all.exists:
      case _: Polygon => true
      case _          => false

Output

[error] ## Exception when compiling...
[error] java.lang.StackOverflowError
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation$$anon$3.applyOrElse(SymDenotations.scala:1731)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation$$anon$3.applyOrElse(SymDenotations.scala:1731)
[error] scala.collection.immutable.List.collect(List.scala:268)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.children(SymDenotations.scala:1731)
[error] dotty.tools.dotc.core.SymUtils.hasAnonymousChild(SymUtils.scala:331)
[error] dotty.tools.dotc.core.TypeComparer.isDecomposable$1(TypeComparer.scala:3196)
[error] dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3222)
[error] dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
[error] scala.collection.immutable.List.forall(List.scala:387)
[error] dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
[error] dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
[error] scala.collection.immutable.List.forall(List.scala:387)
... //Stack keeps on repeating

Expectation

The code should compile without any errors or warnings.

Observations

  • If you add the explicit return type as in val all: Vector[Any] =... or val all:Vector[Shape] = ..., the code compiles.
  • If either RotationalSymmetry or MaybeRotationalSymmetry do not extend SymmetryAspect, the code compiles.
  • If using scala 3 LTS (3.3.4), without any changes to the code, the code compiles.
@NovaMage NovaMage added itype:bug stat:needs triage Every issue needs to have an "area" and "itype" label labels Dec 27, 2024
@NovaMage NovaMage changed the title ProvablyDisjointClasses StackOverflowError when using sealed decorated mixins ProvablyDisjointClasses StackOverflowError when using sealed decorator mixins Dec 27, 2024
@Gedochao Gedochao added itype:crash regression This worked in a previous version but doesn't anymore and removed stat:needs triage Every issue needs to have an "area" and "itype" label labels Dec 30, 2024
@Gedochao
Copy link
Contributor

Full crash output:

 unhandled exception while running MegaPhase{protectedAccessors, extmethods, uncacheGivenAliases, checkStatic, elimByName, hoistSuperArgs, forwardDepChecks, specializeApplyMethods, tryCatchPatterns, patternMatcher} on /Users/pchabelski/IdeaProjects/scala-cli-tests-2/untitled/compiler-repro/repro.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: /Users/pchabelski/IdeaProjects/scala-cli-tests-2/untitled/compiler-repro/repro.scala
        during phase: MegaPhase{protectedAccessors, extmethods, uncacheGivenAliases, checkStatic, elimByName, hoistSuperArgs, forwardDepChecks, specializeApplyMethods, tryCatchPatterns, patternMatcher}
                mode: Mode(ImplicitsEnabled)
     library version: version 2.13.15
    compiler version: version 3.6.3-RC1
            settings: -classpath /Users/pchabelski/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala3-library_3/3.6.3-RC1/scala3-library_3-3.6.3-RC1.jar:/Users/pchabelski/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.15/scala-library-2.13.15.jar -d /Users/pchabelski/IdeaProjects/scala-cli-tests-2/untitled/compiler-repro/.scala-build/compiler-repro_68757268df-d9eb8ef26f/classes/main -sourceroot /Users/pchabelski/IdeaProjects/scala-cli-tests-2/untitled/compiler-repro

Exception in thread "main" java.lang.StackOverflowError
        at dotty.tools.dotc.core.Annotations$Annotation$Child$.unapply(Annotations.scala:243)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation$$anon$3.applyOrElse(SymDenotations.scala:1731)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation$$anon$3.applyOrElse(SymDenotations.scala:1731)
        at scala.collection.immutable.List.collect(List.scala:268)
        at dotty.tools.dotc.core.SymDenotations$SymDenotation.children(SymDenotations.scala:1731)
        at dotty.tools.dotc.core.SymUtils.hasAnonymousChild(SymUtils.scala:331)
        at dotty.tools.dotc.core.TypeComparer.isDecomposable$1(TypeComparer.scala:3196)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3222)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses(TypeComparer.scala:3227)
        at dotty.tools.dotc.core.TypeComparer.provablyDisjointClasses$$anonfun$1(TypeComparer.scala:3227)
        at scala.collection.immutable.List.forall(List.scala:387)

@Gedochao Gedochao added the stat:needs bisection Need to use nightly builds and git bisect to find out the commit where this issue was introduced label Dec 30, 2024
@sjrd
Copy link
Member

sjrd commented Dec 30, 2024

Pretty sure this is yet another duplicate of #21860, fixed in #21876

@Gedochao
Copy link
Contributor

Pretty sure this is yet another duplicate of #21860, fixed in #21876

Doesn't seem to be fixed, it's still broken in 3.6.4-RC1-bin-20241223-4d3f757-NIGHTLY-git-4d3f757

@Gedochao
Copy link
Contributor

Last good stable release: 3.6.2
Last good release: 3.6.2-RC1-bin-20241101-d9d1047-NIGHTLY
First bad release: 3.6.2-RC1-bin-20241102-01288d2-NIGHTLY
d02d4b8 is the first bad commit
cc @dwijnand

@Gedochao Gedochao removed the stat:needs bisection Need to use nightly builds and git bisect to find out the commit where this issue was introduced label Dec 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dwijnand dwijnand

Labels
itype:bug itype:crash regression This worked in a previous version but doesn't anymore
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@dwijnand @sjrd @NovaMage @Gedochao