We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ac6a8f4 commit 0cc29a0Copy full SHA for 0cc29a0
compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2564,7 +2564,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
2564
// of classes.
2565
true
2566
else if (isDecomposable(cls1))
2567
- // At this point, !cls1.derivesFrom(cls2): we know that `new cls2`
+ // At this point, !cls1.derivesFrom(cls2): we know that `cls1`
2568
// is disjoint from `tp2`. Therefore, we can safely decompose
2569
// `cls1` using `.children`, even if `cls1` is non abstract.
2570
decompose(cls1, tp1).forall(x => provablyDisjoint(x, tp2))
0 commit comments