Update tests

Author: noti0na1

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

@@ -212,10 +212,19 @@ class CompilationTests {
       compileFilesInDir("tests/explicit-nulls/neg", explicitNullsOptions, FileFilter.exclude(TestSources.negExplicitNullsScala2LibraryTastyExcludelisted)),
       compileFilesInDir("tests/explicit-nulls/flexible-types-common", explicitNullsOptions and "-Yno-flexible-types"),
       compileFilesInDir("tests/explicit-nulls/unsafe-common", explicitNullsOptions and "-Yno-flexible-types", FileFilter.exclude(TestSources.negExplicitNullsScala2LibraryTastyExcludelisted)),
-    )
-  }.checkExpectedErrors()
+    ).checkExpectedErrors()
+
+    locally {
+      val unsafeFile = compileFile("tests/explicit-nulls/flexible-unpickle/neg/Unsafe_1.scala", explicitNullsOptions without "-Yexplicit-nulls")
+      val flexibleFile = compileFile("tests/explicit-nulls/flexible-unpickle/neg/Flexible_2.scala",
+          explicitNullsOptions.withClasspath(defaultOutputDir + testGroup + "/Unsafe_1/neg/Unsafe_1"))
+
+      flexibleFile.keepOutput.checkExpectedErrors()
+
+      List(unsafeFile, flexibleFile).foreach(_.delete())
+    }
+  }
 
-  @Ignore
   @Test def explicitNullsPos: Unit = {
     implicit val testGroup: TestGroup = TestGroup("explicitNullsPos")
     aggregateTests(
@@ -226,9 +235,9 @@ class CompilationTests {
 
     locally {
       val tests = List(
-        compileFile("tests/explicit-nulls/flexible-unpickle/Unsafe_1.scala", explicitNullsOptions without "-Yexplicit-nulls"),
-        compileFile("tests/explicit-nulls/flexible-unpickle/Flexible_2.scala", explicitNullsOptions.withClasspath(
-          defaultOutputDir + testGroup + "/Unsafe_1/flexible-unpickle/Unsafe_1")),
+        compileFile("tests/explicit-nulls/flexible-unpickle/pos/Unsafe_1.scala", explicitNullsOptions without "-Yexplicit-nulls"),
+        compileFile("tests/explicit-nulls/flexible-unpickle/pos/Flexible_2.scala", explicitNullsOptions.withClasspath(
+          defaultOutputDir + testGroup + "/Unsafe_1/pos/Unsafe_1")),
       ).map(_.keepOutput.checkCompile())
 
       tests.foreach(_.delete())

tests/explicit-nulls/flexible-unpickle/neg/Flexible_2.scala

@@ -0,0 +1,24 @@
+import unsafe.*
+
+@A[String] class C
+
+def test =
+
+  val ii = Bar.f[Int](null) // error
+  val jj = Bar.g[String](null) // error
+  val jj2 = Bar.g[String | Null](null) // ok
+  val kk = Bar.g2[String](null) // error
+  val kk2 = Bar.g2[String | Null](null) // ok
+
+  val bar_x: Int = Bar.x
+  val bar_y: String | Null = Bar.y.replaceAll(" ","")
+
+  def testUsingFoo(using Foo[Option]) = Bar.h(null)
+
+  val ii2 = Bar2[String]().f(null) // error
+  val ii3 = Bar2[String | Null]().f(null) // ok
+
+  val a = Bar.ff(
+    (x: AnyRef) => x.toString,
+    42
+  )

tests/explicit-nulls/flexible-unpickle/neg/Unsafe_1.scala

@@ -0,0 +1,22 @@
+package unsafe
+
+import scala.annotation.*
+
+type XtoY = [X] =>> [Y] =>> X => Y
+
+class Foo[T[_]]
+
+class A[T] extends Annotation
+
+object Bar:
+  def ff(f: AnyRef => String, g: AnyRef ?=> Int): (AnyRef => String) = ???
+  var x: Int = 0
+  var y: String = ""
+  def f[T <: Int](x: T): T = x
+  def g[T <: AnyRef](x: T): T = x
+  def g2[T >: Null <: AnyRef](x: T): T = x
+  def h(x: String)(using Foo[Option]): String = x
+  def h2(a: Foo[XtoY[String]]) = ???
+
+class Bar2[T]:
+  def f(x: T): T = x

tests/explicit-nulls/flexible-unpickle/Flexible_2.scala renamed to tests/explicit-nulls/flexible-unpickle/pos/Flexible_2.scala

@@ -115,3 +115,8 @@ def Flexible_2() =
     expects(alphaTypeNameMacro[A])
   }
 
+// i23935
+opaque type ZArrow[-I, -R, +E, +O] = I => ZIO[R, E, O]
+object ZArrow:
+  def fromZIOAttempt[I, R, E, O](f: I => ZIO[R, E, O]): ZArrow[I, R, Throwable | E, O] =
+    (in: I) => ZIO.attempt(f(in)).flatten

tests/explicit-nulls/flexible-unpickle/Unsafe_1.scala renamed to tests/explicit-nulls/flexible-unpickle/pos/Unsafe_1.scala

@@ -84,3 +84,13 @@ class T
 class U[Y](a: Y)
 def expects(take: (T) ?=> U[String]) = ???
 
+// i23935
+object ZIO:
+  def attempt[A](code: => A): ZIO[Any, Throwable, A] = ???
+
+trait ZIO[-R, +E, +A]:
+  final def flatten[R1 <: R, E1 >: E, B](using A IsSubtypeOfOutput ZIO[R1, E1, B]): ZIO[R1, E1, B] = ???
+
+infix sealed abstract class IsSubtypeOfOutput[-A, +B]
+object IsSubtypeOfOutput:
+  given [A, B](using A <:< B): IsSubtypeOfOutput[A, B] = ???

tests/explicit-nulls/pos/i23933.scala

@@ -0,0 +1,14 @@
+enum FormatPattern:
+  case AsInt
+  case AsLong
+
+// some basic operations with enum:
+def test =
+  val p1 = FormatPattern.AsInt
+  val p2 = FormatPattern.AsLong
+  val p3 = FormatPattern.valueOf("AsInt")
+  val p4 = FormatPattern.values(0)
+  val ord1 = p1.ordinal
+  val ord2 = p2.ordinal
+  val str1 = p1.toString()
+  val str2 = p2.toString()

tests/explicit-nulls/pos/i23936.scala

@@ -0,0 +1,8 @@
+//> using options -Yexplicit-nulls
+
+sealed abstract class IsSubtypeOfOutput[-A, +B] extends (A => B)
+object IsSubtypeOfOutput:
+  private val instance: IsSubtypeOfOutput[Any, Any] = new IsSubtypeOfOutput[Any, Any] { def apply(a: Any): Any = a }
+
+sealed trait DerivationAnnotation
+class Rename(name: String) extends DerivationAnnotation