Split tests

Author: nicolasstucki

tests/neg-custom-args/no-experimental/experimentalEnum.scala

@@ -0,0 +1,12 @@
+import scala.annotation.experimental
+
+@experimental // error
+enum E: // error
+  case A
+  case B // error
+
+def test: Unit =
+  E.A // error
+  E.B // error
+  val e: E = ??? // error
+  ()

tests/neg-custom-args/no-experimental/experimentalOverride.scala

@@ -0,0 +1,39 @@
+import scala.annotation.experimental
+
+@experimental // error
+class A:
+  def f() = 1
+
+@experimental // error
+class B extends A:
+  override def f() = 2
+
+class C:
+  @experimental // error
+  def f() = 1
+
+class D extends C:
+  override def f() = 2
+
+trait A2:
+  @experimental // error
+  def f(): Int
+
+trait B2:
+  def f(): Int
+
+class C2 extends A2, B2:
+  def f(): Int = 1
+
+def test: Unit =
+  val a: A = ??? // error
+  val b: B = ??? // error
+  val c: C = ???
+  val d: D = ???
+  val c2: C2 = ???
+  a.f() // error
+  b.f() // error
+  c.f() // error
+  d.f() // ok because D.f is a stable API
+  c2.f() // ok because B2.f is a stable API
+  ()

tests/neg-custom-args/no-experimental/experimentalSam.scala

@@ -0,0 +1,11 @@
+import scala.annotation.experimental
+
+@experimental // error
+trait ExpSAM {
+  def foo(x: Int): Int
+}
+def bar(f: ExpSAM): Unit = {} // error
+
+def test: Unit =
+  bar(x => x) // error
+  ()

tests/neg-custom-args/no-experimental/experimentalTerms.scala

@@ -0,0 +1,19 @@
+import scala.annotation.experimental
+
+@experimental // error
+val x = ()
+
+@experimental // error
+def f() = ()
+
+@experimental // error
+object X:
+  def fx() = 1
+
+def test: Unit =
+  f() // error
+  x // error
+  X.fx() // error
+  import X.fx // error
+  fx() // error
+  ()

tests/neg-custom-args/no-experimental/experimentalType.scala

@@ -0,0 +1,29 @@
+import scala.annotation.experimental
+
+@experimental // error
+class A
+
+@experimental // error
+class B extends A
+
+@experimental // error
+type X
+
+@experimental // error
+type Y = Int
+
+@experimental // error
+opaque type Z = Int
+
+def test(
+  p1: A, // error
+  p2: List[A], // error
+  p3: X, // error
+  p4: Y, // error
+  p5: Z, // error
+): Unit =
+  new A // error
+  new B // error
+  val i1 = identity[X] // error // error
+  val i2 = identity[A] // error // error
+  ()

tests/neg-custom-args/no-experimental/experimentalUnapply.scala

@@ -0,0 +1,18 @@
+import scala.annotation.experimental
+
+@experimental // error
+class A
+
+object Extractor1:
+  def unapply(s: Any): Option[A] = ??? // error
+
+object Extractor2:
+  @experimental // error
+  def unapply(s: Any): Option[Int] = ???
+
+def test: Unit =
+  (??? : Any) match
+    case _: A => // error // error
+    case Extractor1(_) => // error
+    case Extractor2(_) => // error
+  ()