test clause interleaving and value class

Author: bishabosha

tests/run/unroll-clause-interleaving/Test_4.scala

@@ -0,0 +1,7 @@
+//> using options -experimental
+
+@main def Test: Unit =
+  val u = Unrolled()
+  TestV1().test(u)
+  TestV2().test(u)
+  TestV3().test(u)

tests/run/unroll-clause-interleaving/Unrolled_1.scala

@@ -0,0 +1,14 @@
+//> using options -experimental
+
+import scala.annotation.unroll
+
+class Unrolled {
+  final def foo(x: Int)[T](
+    s: T,
+  ): String = "" + x + s
+}
+
+class TestV1 {
+  def test(u: Unrolled): Unit =
+    assert(u.foo(0)("foo").startsWith("0foo"))
+}

tests/run/unroll-clause-interleaving/Unrolled_2.scala

@@ -0,0 +1,16 @@
+//> using options -experimental
+
+import scala.annotation.unroll
+
+class Unrolled {
+  final def foo(x: Int)[T](
+    s: T,
+    @unroll y: Boolean = true,
+  ): String = "" + x + s + y
+}
+
+class TestV2 {
+  def test(u: Unrolled): Unit =
+    assert(u.foo(0)("foo").startsWith("0footrue"))
+    assert(u.foo(0)("foo", false).startsWith("0foofalse"))
+}

tests/run/unroll-clause-interleaving/Unrolled_3.scala

@@ -0,0 +1,18 @@
+//> using options -experimental
+
+import scala.annotation.unroll
+
+class Unrolled {
+  final def foo(x: Int)[T](
+    s: T,
+    @unroll y: Boolean = true,
+    @unroll i: Int = 0,
+  ): String = "" + x + s + y + i
+}
+
+class TestV3 {
+  def test(u: Unrolled): Unit =
+    assert(u.foo(0)("foo").startsWith("0footrue0"))
+    assert(u.foo(0)("foo", false).startsWith("0foofalse0"))
+    assert(u.foo(0)("foo", false, 1).startsWith("0foofalse1"))
+}

tests/run/unroll-value-class/Test_4.scala

@@ -0,0 +1,7 @@
+//> using options -experimental
+
+@main def Test: Unit =
+  val u = Unrolled(0)
+  TestV1().test(u)
+  TestV2().test(u)
+  TestV3().test(u)

tests/run/unroll-value-class/Unrolled_1.scala

@@ -0,0 +1,13 @@
+//> using options -experimental
+
+import scala.annotation.unroll
+
+class Unrolled(val x: Int) extends AnyVal {
+  final def foo(
+    s: String,
+  ): String = "" + x + s
+}
+
+class TestV1:
+  def test(u: Unrolled): Unit =
+    assert(u.foo("foo").startsWith("0foo"))

tests/run/unroll-value-class/Unrolled_2.scala

@@ -0,0 +1,15 @@
+//> using options -experimental
+
+import scala.annotation.unroll
+
+class Unrolled(val x: Int) extends AnyVal {
+  final def foo(
+    s: String,
+    @unroll y: Boolean = true,
+  ): String = "" + x + s + y
+}
+
+class TestV2:
+  def test(u: Unrolled): Unit =
+    assert(u.foo("foo").startsWith("0footrue"))
+    assert(u.foo("foo", false).startsWith("0foofalse"))

tests/run/unroll-value-class/Unrolled_3.scala

@@ -0,0 +1,17 @@
+//> using options -experimental
+
+import scala.annotation.unroll
+
+class Unrolled(val x: Int) extends AnyVal {
+  final def foo(
+    s: String,
+    @unroll y: Boolean = true,
+    @unroll i: Int = 0
+  ): String = "" + x + s + y + i
+}
+
+class TestV3:
+  def test(u: Unrolled): Unit =
+    assert(u.foo("foo").startsWith("0footrue0"))
+    assert(u.foo("foo", false).startsWith("0foofalse0"))
+    assert(u.foo("foo", false, 1).startsWith("0foofalse1"))