Drop redundant check for AnyClass

scala · Nov 10, 2023 · 7307f34 · 7307f34
1 parent a1d7059
commit 7307f34
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/compiler/src/dotty/tools/dotc/cc/Setup.scala b/compiler/src/dotty/tools/dotc/cc/Setup.scala
@@ -553,10 +553,7 @@ class Setup extends PreRecheck, SymTransformer, SetupAPI:
       case tp: (TypeRef | AppliedType) =>
         val sym = tp.typeSymbol
         if sym.isClass then
-          sym == defn.AnyClass
-            // we assume Any is a shorthand of {cap} Any, so if Any is an upper
-            // bound, the type is taken to be impure.
-          || !sym.isPureClass
+          !sym.isPureClass
         else
           sym != defn.Caps_Cap && instanceCanBeImpure(tp.superType)
       case tp: (RefinedOrRecType | MatchType) =>