Update tests

Author: noti0na1

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -295,15 +295,17 @@ class CompilationTests extends ParallelTesting {
     implicit val testGroup: TestGroup = TestGroup("explicitNullsNeg")
     aggregateTests(
       compileFilesInDir("tests/explicit-nulls/neg", explicitNullsOptions),
-      compileFilesInDir("tests/explicit-nulls/neg-patmat", explicitNullsOptions and "-Xfatal-warnings")
+      compileFilesInDir("tests/explicit-nulls/neg-patmat", explicitNullsOptions and "-Xfatal-warnings"),
+      compileFilesInDir("tests/explicit-nulls/unsafe-common", explicitNullsOptions),
     )
   }.checkExpectedErrors()
 
   @Test def explicitNullsPos: Unit = {
     implicit val testGroup: TestGroup = TestGroup("explicitNullsPos")
     aggregateTests(
       compileFilesInDir("tests/explicit-nulls/pos", explicitNullsOptions),
-      compileFilesInDir("tests/explicit-nulls/pos-separate", explicitNullsOptions)
+      compileFilesInDir("tests/explicit-nulls/pos-separate", explicitNullsOptions),
+      compileFilesInDir("tests/explicit-nulls/unsafe-common", explicitNullsOptions and "-language:unsafeNulls"),
     )
   }.checkCompile()
 

tests/explicit-nulls/neg/unsafe-scope.scala

@@ -0,0 +1,18 @@
+class S {
+  given Conversion[String, Array[String]] = _ => ???
+
+  def f = {
+    val s: String | Null = ???
+
+    val x: String = s // error
+    val xs: Array[String | Null] = s // error
+    {
+      import scala.language.unsafeNulls
+      val y: String = s
+      val ys: Array[String | Null] = s
+    }
+
+    val z: String = s // error
+    val zs: Array[String | Null] = s // error
+  }
+}