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 05ba906 commit 5fd589eCopy full SHA for 5fd589e
compiler/src/dotty/tools/dotc/cc/Setup.scala
@@ -488,7 +488,8 @@ extends tpd.TreeTraverser:
488
sym == defn.AnyClass
489
// we assume Any is a shorthand of {cap} Any, so if Any is an upper
490
// bound, the type is taken to be impure.
491
- else superTypeIsImpure(tp.superType)
+ else
492
+ sym != defn.Caps_Root && superTypeIsImpure(tp.superType)
493
case tp: (RefinedOrRecType | MatchType) =>
494
superTypeIsImpure(tp.underlying)
495
case tp: AndType =>
0 commit comments