From 5bf9d2b0046b60ae9fcdc218cd190e17023b4fae Mon Sep 17 00:00:00 2001
From: Olivier Blanvillain <olivier.blanvillain@gmail.com>
Date: Thu, 6 Apr 2017 18:44:21 +0200
Subject: Add tests

- t7296 & case-class-23 are moved out of pending

- 1938 tests productElement > 23
---
 tests/run/1938.scala                  | 45 +++++++++++++++++++++++++++++++++++
 tests/run/case-class-23.check         |  2 ++
 tests/run/case-class-23.scala         | 33 +++++++++++++++++++++++++
 tests/run/double-pattern-type.scala   | 40 +++++++++++++++++++++++++++++++
 tests/run/zero-arity-case-class.scala | 26 ++++++++++++++++++++
 5 files changed, 146 insertions(+)
 create mode 100644 tests/run/1938.scala
 create mode 100644 tests/run/case-class-23.check
 create mode 100644 tests/run/case-class-23.scala
 create mode 100644 tests/run/double-pattern-type.scala
 create mode 100644 tests/run/zero-arity-case-class.scala

(limited to 'tests/run')

diff --git a/tests/run/1938.scala b/tests/run/1938.scala
new file mode 100644
index 000000000..95e94678d
--- /dev/null
+++ b/tests/run/1938.scala
@@ -0,0 +1,45 @@
+case class Large(
+  e1: Int,
+  e2: Int,
+  e3: Int,
+  e4: Int,
+  e5: Int,
+  e6: Int,
+  e7: Int,
+  e8: Int,
+  e9: Int,
+  e10: Int,
+  e11: Int,
+  e12: Int,
+  e13: Int,
+  e14: Int,
+  e15: Int,
+  e16: Int,
+  e17: Int,
+  e18: Int,
+  e19: Int,
+  e20: Int,
+  e21: Int,
+  e22: Int,
+  e23: Int
+)
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val l = Large(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23)
+
+    assert(l.productArity == 23)
+
+    assert(l.productElement(0) == 1)
+    assert(l.productElement(1) == 2)
+    assert(l.productElement(21) == 22)
+    assert(l.productElement(22) == 23)
+
+    try {
+      l.productElement(23)
+      ???
+    } catch {
+      case e: IndexOutOfBoundsException => assert(e.getMessage == "23")
+    }
+  }
+}
diff --git a/tests/run/case-class-23.check b/tests/run/case-class-23.check
new file mode 100644
index 000000000..888ed2c9e
--- /dev/null
+++ b/tests/run/case-class-23.check
@@ -0,0 +1,2 @@
+23
+(1,23)
diff --git a/tests/run/case-class-23.scala b/tests/run/case-class-23.scala
new file mode 100644
index 000000000..a6d78763c
--- /dev/null
+++ b/tests/run/case-class-23.scala
@@ -0,0 +1,33 @@
+case class TwentyThree(
+  _1: Int,
+  _2: Int,
+  _3: Int,
+  _4: Int,
+  _5: Int,
+  _6: Int,
+  _7: Int,
+  _8: Int,
+  _9: Int,
+  _10: Int,
+  _11: Int,
+  _12: Int,
+  _13: Int,
+  _14: Int,
+  _15: Int,
+  _16: Int,
+  _17: Int,
+  _18: Int,
+  _19: Int,
+  _20: Int,
+  _21: Int,
+  _22: Int,
+  _23: Int
+)
+
+object Test extends dotty.runtime.LegacyApp {
+  val x = new TwentyThree(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23)
+  println(x._23)
+  assert(x.copy(_1 = 1) == x)
+  val TwentyThree(a, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, b) = x
+  println((a, b))
+}
diff --git a/tests/run/double-pattern-type.scala b/tests/run/double-pattern-type.scala
new file mode 100644
index 000000000..8045d173b
--- /dev/null
+++ b/tests/run/double-pattern-type.scala
@@ -0,0 +1,40 @@
+case class C1(i: String, s: Int) { def isEmpty = false; def get = ("EMPTY", -1) }
+case class C2(i: String, s: String) { def isEmpty = false; def get = (-1, -2, -3) }
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    // When both Product and name based patterns with same arity are available,
+    // we follow scalac and silently use the Product one:
+
+    val c1 = C1("s", 0)
+    c1 match {
+      case C1(a, b) =>
+        assert(a == "s")
+        assert(b == 0)
+    }
+
+    // When the size differ, both are patterns become usable:
+
+    val c2 = C2("a", "b")
+    c2 match {
+      case C2(a, b) =>
+        assert(a == "a")
+        assert(b == "b")
+    }
+
+    c2 match {
+      case C2(a, b, c) =>
+        assert(a == -1)
+        assert(b == -2)
+        assert(c == -3)
+    }
+
+    // Interestingly things also compile with a single pattern, in which case
+    // the tuple returned by get is binded to `a`:
+
+    c2 match {
+      case C2(a) =>
+        assert(a == (-1, -2, -3))
+    }
+  }
+}
diff --git a/tests/run/zero-arity-case-class.scala b/tests/run/zero-arity-case-class.scala
new file mode 100644
index 000000000..de0ba4fe1
--- /dev/null
+++ b/tests/run/zero-arity-case-class.scala
@@ -0,0 +1,26 @@
+case class Foo()
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    assert(Foo.unapply(Foo()) == true)
+
+    // unapply generate by scalac are `_ != null`,
+    // dotty returns true in all cases
+    assert(Foo.unapply(null) == true)
+
+    Foo() match {
+      case Foo() => ()
+      case _     => ???
+    }
+
+    Foo() match {
+      case _: Foo => ()
+      case _      => ???
+    }
+
+    (Foo(): Any) match {
+      case Foo() => ()
+      case _     => ???
+    }
+  }
+}
-- 
cgit v1.2.3