diff options
Diffstat (limited to 'tests/run/t8017')
-rw-r--r-- | tests/run/t8017/value-class-lambda.scala | 40 | ||||
-rw-r--r-- | tests/run/t8017/value-class.scala | 3 |
2 files changed, 43 insertions, 0 deletions
diff --git a/tests/run/t8017/value-class-lambda.scala b/tests/run/t8017/value-class-lambda.scala new file mode 100644 index 000000000..f247e35f6 --- /dev/null +++ b/tests/run/t8017/value-class-lambda.scala @@ -0,0 +1,40 @@ +object Test { + def testC: Unit = { + val f1 = (c: C) => c.value + val f2 = (x: Int) => new C(x) + val f3 = (c1: C) => (c2: C) => (c1, c2) + val r1 = f2(2) + val r2 = f2(2) + val r3 = f3(r1)(r2) + val result = f1(r3._2) + assert(result == 2) + } + + def testD: Unit = { + val f1 = (c: D) => c.value + val f2 = (x: String) => new D(x) + val f3 = (c1: D) => (c2: D) => (c1, c2) + val r1 = f2("2") + val r2 = f2("2") + val r3 = f3(r1)(r2) + val result = f1(r3._2) + assert(result == "2") + } + + def testE: Unit = { + val f1 = (c: E[Int]) => c.value + val f2 = (x: Int) => new E(x) + val f3 = (c1: E[Int]) => (c2: E[Int]) => (c1, c2) + val r1 = f2(2) + val r2 = f2(2) + val r3 = f3(r1)(r2) + val result = f1(r3._2) + assert(result == 2) + } + + def main(args: Array[String]): Unit = { + testC + testD + testE + } +} diff --git a/tests/run/t8017/value-class.scala b/tests/run/t8017/value-class.scala new file mode 100644 index 000000000..821239305 --- /dev/null +++ b/tests/run/t8017/value-class.scala @@ -0,0 +1,3 @@ +class C(val value: Int) extends AnyVal +class D(val value: String) extends AnyVal +class E[A](val value: A) extends AnyVal |