Merge pull request #1 from EnzeXing/EnzeXing-tests-for-dotty

Add test cases for dotty

Author: EnzeXing

tests/init/neg/Desugar.scala

@@ -0,0 +1,15 @@
+trait A
+
+class Tree[-A >: Int] {
+    val x: Int = 10
+}
+
+case class C[-T >: Int] (lhs: Int, rhs: Tree[T]) extends A {
+    val x = rhs.x
+}
+
+object DesugarError {
+    val f: PartialFunction[A, Int] = {case C(_, rhs) => rhs.x}
+}
+
+

tests/init/neg/InteractiveDriver.scala

@@ -0,0 +1,23 @@
+trait InteractiveDriver[A <: AnyVal] {
+    val x: AnyVal
+    def g(x: A): A
+}
+
+class C[A <: AnyVal] extends InteractiveDriver[A] {
+    val x = 0
+    def g(x: A) = x
+}
+
+class D[A <: AnyVal] extends InteractiveDriver[A] {
+    val x = 1.5
+    def g(x: A) = x
+}
+
+object InteractiveDriver {
+    def h(x: InteractiveDriver[?]): C[?] = x match {
+        case c: C[?] => c
+        case _ => new C[Int]
+    }
+    val l: Seq[Any] = Seq(1, 2, new C[Double], new D[Int])
+    val l2: Seq[C[?]] = l.collect{ case x: InteractiveDriver[?] => h(x) }
+}

tests/init/neg/closureLeak.scala

@@ -0,0 +1,12 @@
+class Outer {
+    val x = 10
+    class A(x: Int) {
+        var y: Int = x
+        def addX(o: Outer): Unit = {
+            y = y + o.x
+        }
+    }
+
+    val l: List[A] = List(new A(5), new A(10))
+    l.foreach(a => a.addX(this))
+}

tests/init/neg/default-this.scala

@@ -0,0 +1,12 @@
+class A {
+    var x: Int = 10
+    def compare(c: Int = 5, a: A = this): Boolean = if (c == a.x) true else false
+}
+
+class B extends A {
+    def updateThenCompare(c: Int): Boolean = {
+        x = c
+        compare()
+    }
+    val result = updateThenCompare(5)
+}

tests/init/neg/enum.scala

@@ -0,0 +1,6 @@
+enum ErrorMessageID extends java.lang.Enum[ErrorMessageID] {
+    case
+        LazyErrorId, // // errorNumber: -2
+        NoExplanationID
+    def errorNumber = ordinal - 2
+}

tests/init/neg/leak-this-inner.scala

@@ -0,0 +1,8 @@
+class A {
+    val x = 10
+    class B(a: A) {
+        val anotherX = A.this.x
+    }
+    val b = B(this)
+    val xAgain = b.anotherX
+}

tests/init/neg/leak-this.scala

@@ -0,0 +1,11 @@
+class Parent {
+    val child: Child = new Child(this)
+}
+
+class Child(parent: Parent) {
+    val friend = new Friend(this.parent)
+}
+
+class Friend(parent: Parent) {
+    val tag = 10
+}

tests/init/neg/leak-warm.scala

@@ -0,0 +1,20 @@
+object leakWarm {
+    abstract class A(tag: Int) {
+        class B(x: Int) {
+            val y = x
+        }
+        def m(): B
+    }
+
+    class C(tag1: Int, tag2: Int) extends A(tag1) {
+        def m() = new B(5)
+    }
+
+    class D(tag1: Int, tag2: Int) extends A(tag1 + tag2) {
+        def m() = new B(tag1)
+    }
+    val c = new C(1, 2)
+    val d = new D(3, 4)
+    val l: List[A] = List(c, d)
+    val l2 = l.map(_.m())
+}

tests/init/neg/local-warm.scala

@@ -0,0 +1,16 @@
+abstract class A {
+    def m() = 10
+    def m1(): B = new B
+    def m2(): Int = m1().m()
+    class B extends A {
+        def x = 10
+    }
+}
+
+class C extends A {
+    def g() = {
+        val t = m1()
+        t.x
+    }
+    val x = g()
+}