Move isInstanceOf to Scrutable

Author: odersky

compiler/src/dotty/tools/backend/jvm/BCodeBodyBuilder.scala

@@ -625,7 +625,7 @@ trait BCodeBodyBuilder extends BCodeSkelBuilder {
 
         val sym = fun.symbol
         val cast =
-          if (sym == defn.Any_isInstanceOf) false
+          if (sym == defn.Scrutable_isInstanceOf) false
           else if (sym == defn.Any_asInstanceOf) true
           else abort(s"Unexpected type application $fun[sym: ${sym.showFullName}] in: $t")
         val l = tpeTK(obj)

compiler/src/dotty/tools/backend/jvm/scalaPrimitives.scala

@@ -149,7 +149,7 @@ class DottyPrimitives(ictx: Context) {
     // scala.Any
     addPrimitive(defn.Any_==, EQ)
     addPrimitive(defn.Any_!=, NE)
-    addPrimitive(defn.Any_isInstanceOf, IS)
+    addPrimitive(defn.Scrutable_isInstanceOf, IS)
     addPrimitive(defn.Any_asInstanceOf, AS)
     addPrimitive(defn.Any_##, HASH)
 
@@ -159,7 +159,7 @@ class DottyPrimitives(ictx: Context) {
  /*   addPrimitive(defn.Any_==, EQ)
     addPrimitive(defn.Any_!=, NE)*/
     addPrimitive(defn.Object_synchronized, SYNCHRONIZED)
-    /*addPrimitive(defn.Any_isInstanceOf, IS)
+    /*addPrimitive(defn.Scrutable_isInstanceOf, IS)
     addPrimitive(defn.Any_asInstanceOf, AS)*/
 
     // java.lang.String

compiler/src/dotty/tools/backend/sjs/JSCodeGen.scala

@@ -2867,7 +2867,7 @@ class JSCodeGen()(using genCtx: Context) {
 
     if (sym == defn.Any_asInstanceOf) {
       genAsInstanceOf(genReceiver, to)
-    } else if (sym == defn.Any_isInstanceOf) {
+    } else if (sym == defn.Scrutable_isInstanceOf) {
       genIsInstanceOf(genReceiver, to)
     } else {
       throw new FatalError(

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -956,7 +956,9 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
         else
           singleton(tp).equal(tree)
       case _ =>
-        tree.select(defn.Any_isInstanceOf).appliedToType(tp)
+        tree.ensureConforms(defn.ScrutableType)
+          .select(defn.Scrutable_isInstanceOf)
+          .appliedToType(tp)
     }
 
     /** tree.asInstanceOf[`tp`] */

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

@@ -287,12 +287,13 @@ class Definitions {
     @tu lazy val Any_hashCode: TermSymbol     = enterMethod(AnyClass, nme.hashCode_, MethodType(Nil, IntType))
     @tu lazy val Any_toString: TermSymbol     = enterMethod(AnyClass, nme.toString_, MethodType(Nil, StringType))
     @tu lazy val Any_## : TermSymbol          = enterMethod(AnyClass, nme.HASHHASH, ExprType(IntType), Final)
-    @tu lazy val Any_isInstanceOf: TermSymbol = enterT1ParameterlessMethod(AnyClass, nme.isInstanceOf_, _ => BooleanType, Final)
     @tu lazy val Any_asInstanceOf: TermSymbol = enterT1ParameterlessMethod(AnyClass, nme.asInstanceOf_, _.paramRefs(0), Final)
     @tu lazy val Any_typeTest: TermSymbol     = enterT1ParameterlessMethod(AnyClass, nme.isInstanceOfPM, _ => BooleanType, Final | Synthetic | Artifact)
     @tu lazy val Any_typeCast: TermSymbol     = enterT1ParameterlessMethod(AnyClass, nme.asInstanceOfPM, _.paramRefs(0), Final | Synthetic | Artifact | StableRealizable)
       // generated by pattern matcher and explicit nulls, eliminated by erasure
 
+    @tu lazy val Scrutable_isInstanceOf: TermSymbol = enterT1ParameterlessMethod(ScrutableClass, nme.isInstanceOf_, _ => BooleanType, Final)
+
     /** def getClass[A >: this.type](): Class[? <: A] */
     @tu lazy val Scrutable_getClass: TermSymbol =
         enterPolyMethod(
@@ -302,9 +303,9 @@ class Definitions {
           bounds = TypeBounds.lower(ScrutableClass.thisType))
 
     def AnyMethods: List[TermSymbol] = List(Any_==, Any_!=, Any_equals, Any_hashCode,
-      Any_toString, Any_##, Any_isInstanceOf, Any_asInstanceOf, Any_typeTest, Any_typeCast)
+      Any_toString, Any_##, Scrutable_isInstanceOf, Any_asInstanceOf, Any_typeTest, Any_typeCast)
 
-    def ScrutableMethods: List[TermSymbol] = List(Scrutable_getClass)
+    def ScrutableMethods: List[TermSymbol] = List(Scrutable_getClass, Scrutable_isInstanceOf)
 
     @tu lazy val ScrutableMethodNames = ScrutableMethods.map(_.name)
 
@@ -442,7 +443,7 @@ class Definitions {
 
   /** Methods in Object, Scrutable, and Any that do not have a side effect */
   @tu lazy val pureMethods: List[TermSymbol] = List(Any_==, Any_!=, Any_equals, Any_hashCode,
-    Any_toString, Any_##, Scrutable_getClass, Any_isInstanceOf, Any_typeTest, Object_eq, Object_ne)
+    Any_toString, Any_##, Scrutable_getClass, Scrutable_isInstanceOf, Any_typeTest, Object_eq, Object_ne)
 
   @tu lazy val AnyKindClass: ClassSymbol = {
     val cls = newCompleteClassSymbol(ScalaPackageClass, tpnme.AnyKind, AbstractFinal | Permanent, Nil)
@@ -1431,7 +1432,7 @@ class Definitions {
   @tu lazy val NoInitClasses: Set[Symbol] = NotRuntimeClasses + FunctionXXLClass
 
   def isPolymorphicAfterErasure(sym: Symbol): Boolean =
-     (sym eq Any_isInstanceOf) || (sym eq Any_asInstanceOf) || (sym eq Object_synchronized)
+     (sym eq Scrutable_isInstanceOf) || (sym eq Any_asInstanceOf) || (sym eq Object_synchronized)
 
   def isTupleType(tp: Type)(using Context): Boolean = {
     val arity = tp.dealias.argInfos.length

compiler/src/dotty/tools/dotc/transform/SymUtils.scala

@@ -49,7 +49,7 @@ object SymUtils:
       else directlyInheritedTraits
 
     def isTypeTest(using Context): Boolean =
-      self == defn.Any_isInstanceOf || self == defn.Any_typeTest
+      self == defn.Scrutable_isInstanceOf || self == defn.Any_typeTest
 
     def isTypeCast(using Context): Boolean =
       self == defn.Any_asInstanceOf || self == defn.Any_typeCast

compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala

@@ -274,7 +274,7 @@ object TypeTestsCasts {
                   transformIsInstanceOf(
                     expr, defn.boxedType(testCls.typeRef), testCls.typeRef, flagUnrelated)
             else
-              derivedTree(expr, defn.Any_isInstanceOf, testType)
+              derivedTree(expr, defn.Scrutable_isInstanceOf, testType)
           }
         }
 
@@ -339,7 +339,7 @@ object TypeTestsCasts {
               ref(defn.runtimeMethodRef(nme.isArray)).appliedTo(arg, Literal(Constant(ndims)))
             if (ndims == 1) isArrayTest(expr)
             else evalOnce(expr) { e =>
-              derivedTree(e, defn.Any_isInstanceOf, e.tpe)
+              derivedTree(e, defn.Scrutable_isInstanceOf, e.tpe)
                 .and(isArrayTest(e))
             }
           case tref: TypeRef if tref.symbol == defn.TupleClass =>

compiler/src/dotty/tools/dotc/transform/init/Env.scala

@@ -26,7 +26,7 @@ case class Env(ctx: Context) {
   // Methods that should be ignored in the checking
   lazy val ignoredMethods: Set[Symbol] = Set(
     defn.Scrutable_getClass,
-    defn.Any_isInstanceOf,
+    defn.Scrutable_isInstanceOf,
     defn.Object_eq,
     defn.Object_ne,
     defn.Object_synchronized

compiler/src/dotty/tools/dotc/transform/sjs/ExplicitJSClasses.scala

@@ -604,7 +604,7 @@ class ExplicitJSClasses extends MiniPhase with InfoTransformer { thisPhase =>
 
         // Translate x.isInstanceOf[T] for inner and local JS classes
         case TypeApply(fun @ Select(obj, _), tpeArg :: Nil)
-            if sym == defn.Any_isInstanceOf && isTypeTreeForInnerOrLocalJSClass(tpeArg) =>
+            if sym == defn.Scrutable_isInstanceOf && isTypeTreeForInnerOrLocalJSClass(tpeArg) =>
           val jsCtorOf = genJSConstructorOf(tree, tpeArg.tpe)
           ref(jsdefn.Special_instanceof).appliedTo(obj, jsCtorOf)
 

compiler/src/dotty/tools/dotc/typer/Synthesizer.scala

@@ -62,7 +62,7 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
             val arg :: Nil = args
             val t = arg.tpe & tp2
             If(
-              arg.select(defn.Any_isInstanceOf).appliedToType(tp2),
+              arg.isInstance(tp2),
               ref(defn.SomeClass.companionModule.termRef).select(nme.apply)
                 .appliedToType(t)
                 .appliedTo(arg.select(nme.asInstanceOf_).appliedToType(t)),