Merge pull request #9419 from sjrd/scalajs-cast-null-nothing

Scala.js: Handle casts to `Null` and `Nothing`.

Author: nicolasstucki

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

@@ -2532,11 +2532,24 @@ class JSCodeGen()(using genCtx: Context) {
        * asInstanceOf to a raw JS type is completely erased.
        */
       value
+    } else if (sym == defn.NullClass) {
+      js.If(
+          js.BinaryOp(js.BinaryOp.===, value, js.Null()),
+          js.Null(),
+          genThrowClassCastException())(
+          jstpe.NullType)
+    } else if (sym == defn.NothingClass) {
+      js.Block(value, genThrowClassCastException())
     } else {
       js.AsInstanceOf(value, toIRType(to))
     }
   }
 
+  private def genThrowClassCastException()(implicit pos: Position): js.Tree = {
+    js.Throw(js.New(jsNames.ClassCastExceptionClass,
+        js.MethodIdent(jsNames.NoArgConstructorName), Nil))
+  }
+
   /** Gen JS code for an isInstanceOf test (for reference types only) */
   private def genIsInstanceOf(value: js.Tree, to: Type)(
       implicit pos: SourcePosition): js.Tree = {
@@ -2556,6 +2569,9 @@ class JSCodeGen()(using genCtx: Context) {
             jstpe.BooleanType)
       }
     } else {
+      // The Scala type system prevents x.isInstanceOf[Null] and ...[Nothing]
+      assert(sym != defn.NullClass && sym != defn.NothingClass,
+          s"Found a .isInstanceOf[$sym] at $pos")
       js.IsInstanceOf(value, toIRType(to))
     }
   }

project/Build.scala

@@ -1064,7 +1064,7 @@ object Build {
           ++ (dir / "shared/src/test/require-jdk8/org/scalajs/testsuite/javalib/util" ** (("*.scala": FileFilter) -- "CollectionsOnCopyOnWriteArrayListTestOnJDK8.scala")).get
           ++ (dir / "shared/src/test/require-jdk7/org/scalajs/testsuite/javalib/io" ** "*.scala").get
           ++ (dir / "shared/src/test/require-jdk7/org/scalajs/testsuite/javalib/lang" ** "*.scala").get
-          ++ (dir / "shared/src/test/require-jdk7/org/scalajs/testsuite/javalib/util" ** (("*.scala": FileFilter) -- "ObjectsTestOnJDK7.scala")).get
+          ++ (dir / "shared/src/test/require-jdk7/org/scalajs/testsuite/javalib/util" ** "*.scala").get
         )
       }
     )