Streamlining

 - drop a test which prevented a check in isInstanceOfEvaluator but which
   can be dropped with the more precise types in TypeTestCasts

 - move a test which was only partially effective in RefChecks to TypeTestCasts
   (problem is again testing against &/| types).

Author: odersky

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

@@ -60,10 +60,8 @@ trait TypeTestsCasts {
                // if `test` is primitive but `found` is not, we might have a case like
                // found = java.lang.Integer, test = Int, which could be true
                // (not sure why that is so, but scalac behaves the same way)
-            !isDerivedValueClass(foundCls) && !isDerivedValueClass(testCls) &&
+            !isDerivedValueClass(foundCls) && !isDerivedValueClass(testCls)
                // we don't have the logic to handle derived value classes
-            foundCls != defn.ObjectClass
-               // if `foundCls == Object`, it could have been `Any` before erasure.
 
           /** Check whether a runtime test that a value of `foundCls` can be a `testCls`
            *  can be true in some cases. Issure a warning or an error if that's not the case.
@@ -81,6 +79,10 @@ trait TypeTestsCasts {
                 unreachable(i"$foundCls and $testCls are unrelated")
                 false
               }
+              else if (foundCls.isPrimitiveValueClass && !testCls.isPrimitiveValueClass) {
+                ctx.error("cannot test if value types are references", tree.pos)
+                false
+              }
               else true
             }
             else true

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

@@ -872,22 +872,6 @@ class RefChecks extends MiniPhase { thisTransformer =>
       currentLevel.enterReference(tree.tpe.typeSymbol, tree.pos)
       tree
     }
-
-    override def transformTypeApply(tree: tpd.TypeApply)(implicit ctx: Context, info: TransformerInfo): tpd.Tree = {
-      tree.fun match {
-        case fun@Select(qual, selector) =>
-          val sym = tree.symbol
-
-          if (sym == defn.Any_isInstanceOf) {
-            val argType = tree.args.head.tpe
-            val qualCls = qual.tpe.widen.classSymbol
-            val argCls = argType.classSymbol
-            if (qualCls.isPrimitiveValueClass && !argCls.isPrimitiveValueClass) ctx.error("isInstanceOf cannot test if value types are references", tree.pos)
-          }
-        case _ =>
-      }
-      tree
-    }
   }
 }