scala
diff --git a/‎compiler/test/dotty/tools/dotc/CompilationTests.scala‎
Lines changed: 8 additions & 7 deletions b/‎compiler/test/dotty/tools/dotc/CompilationTests.scala‎
Lines changed: 8 additions & 7 deletions
diff --git a/‎tests/neg/i8752.scala‎ renamed to ‎tests/neg/i8752.scala.ignore‎ b/‎tests/neg/i8752.scala‎ renamed to ‎tests/neg/i8752.scala.ignore‎
diff --git a/‎tests/pos/i19084.scala‎ renamed to ‎tests/pos/i19084.scala.ignore‎ b/‎tests/pos/i19084.scala‎ renamed to ‎tests/pos/i19084.scala.ignore‎
diff --git a/‎tests/run/singleton-ops-flags.scala‎ renamed to ‎tests/run/singleton-ops-flags.scala.ignore‎ b/‎tests/run/singleton-ops-flags.scala‎ renamed to ‎tests/run/singleton-ops-flags.scala.ignore‎
diff --git a/‎tests/warn/i19084.scala‎ renamed to ‎tests/warn/i19084.scala.ignore‎ b/‎tests/warn/i19084.scala‎ renamed to ‎tests/warn/i19084.scala.ignore‎
@@ -214,14 +214,15 @@ class CompilationTests {
     )
   }.checkExpectedErrors()
 
-  @Test def explicitNullsPos: Unit = {
+  @Test def explicitNullsPos: Unit =
     implicit val testGroup: TestGroup = TestGroup("explicitNullsPos")
-    aggregateTests(
-      compileFilesInDir("tests/explicit-nulls/pos", explicitNullsOptions),
-      compileFilesInDir("tests/explicit-nulls/flexible-types-common", explicitNullsOptions),
-      compileFilesInDir("tests/explicit-nulls/unsafe-common", explicitNullsOptions and "-language:unsafeNulls" and "-Yno-flexible-types"),
-    )
-  }.checkCompile()
+    if !Properties.usingFullScalaLibrary then
+      aggregateTests(
+        compileFilesInDir("tests/explicit-nulls/pos", explicitNullsOptions),
+        compileFilesInDir("tests/explicit-nulls/flexible-types-common", explicitNullsOptions),
+        compileFilesInDir("tests/explicit-nulls/unsafe-common", explicitNullsOptions and "-language:unsafeNulls" and "-Yno-flexible-types"),
+      ).checkCompile()
+  end explicitNullsPos
 
   @Test def explicitNullsWarn: Unit = {
     implicit val testGroup: TestGroup = TestGroup("explicitNullsWarn")