Optimizations

Author: nicolasstucki

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -981,13 +981,13 @@ class Definitions {
   }
 
   def isPhantomAnyClass(sym: Symbol)(implicit ctx: Context): Boolean =
-    sym.exists && (sym.owner eq PhantomClass) && sym.name == tpnme.Any
+    sym.name == tpnme.Any && (sym.owner eq PhantomClass)
 
   def isPhantomNothingClass(sym: Symbol)(implicit ctx: Context): Boolean =
-    sym.exists && (sym.owner eq PhantomClass) && sym.name == tpnme.Nothing
+    sym.name == tpnme.Nothing && (sym.owner eq PhantomClass)
 
   def isPhantomAssume(sym: Symbol)(implicit ctx: Context): Boolean =
-    sym.exists && (sym.owner eq PhantomClass) && sym.name == nme.assume_
+    sym.name == nme.assume_ && (sym.owner eq PhantomClass)
 
   def topOf(tp: Type)(implicit ctx: Context): Type = tp.phantomTopClass match {
     case top: ClassInfo => top.prefix.select(tpnme.Any)

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -185,7 +185,7 @@ object Types {
     }
 
     private def isPhantomClass(sym: Symbol)(implicit ctx: Context): Boolean =
-      sym.isClass && (sym.owner eq defn.PhantomClass) && (sym.name == tpnme.Any || sym.name == tpnme.Nothing)
+      sym.isClass && (sym.owner eq defn.PhantomClass)
 
     /** Is this type guaranteed not to have `null` as a value?
      *  For the moment this is only true for modules, but it could