Add complex tests

Author: EnzeXing

tests/init-global/pos/anon-class.scala

@@ -0,0 +1,20 @@
+abstract class Source[A] { self =>
+  def consume(a: A): Int
+  def contramap[B](f: B => A): Source[B] = {
+    new Source[B] { // OfClass($anon).outerValue = {OfClass(Source), OfClass($anon)} ???
+      override def consume(b: B) = self.consume(f(b))
+    }
+  }
+}
+
+object O {
+  val identity: Source[Int] = new Source[Int] {
+    override def consume(a: Int): Int = a
+  } // OfClass(Source[A])
+  val longToInt: Source[Long] = identity.contramap((l: Long) => l.toInt) // longToInt.outer == identity
+  val doubleToLongToInt: Source[Double] = longToInt.contramap((d: Double) => (d + 2.4).toLong) // doubleToLongToInt == longToInt
+  // OfClass(Source[Double]).outer = {LocalEnv(contramap)};
+  // LocalEnv(contramap).outer = {OfClass(Source[Long]), OfClass(Source[Double])}
+  println(doubleToLongToInt.consume(3.5))
+}
+

tests/init-global/pos/multiple-outers.scala

@@ -0,0 +1,43 @@
+class A(val x: Int) {
+  class B {
+    println("A.this = " + A.this.hashCode()) // `a`
+    println("A.this.x = " + A.this.x) // B --> outer A (42 or 46)
+    def fooz = x
+    def fooz2 = x
+    class D {
+      println("B.this = " + B.this.hashCode()) // `c` in `foo`
+      def bar = fooz // expands to B.this.fooz, calls fooz in class B
+      def bar2 = fooz2 // expands to B.this.fooz, calls fooz2 in class C
+    }
+  }
+}
+class AA(x: Int) extends A(x) {
+  def foo = {
+    val a = if true then new A(42) else new AA(46)
+    println("a = " + a.hashCode())
+    class C /*outer: AA(44) (`Main.aa`)*/ extends a.B /*outer: A(42) or AA(46) (`a`)*/ {
+      println("AA.this = " + AA.this.hashCode()) // Main.aa
+      println("AA.this.x = " + x) // C --> outer AA --> parent A (44)
+      override def fooz2 = x // 44
+    }
+    val c: C = new C
+    println("c = " + c.hashCode())
+    val d = new c.D // outer: C (`c`)
+    println("d.bar = " + d.bar + ", d.bar2 = " + d.bar2)
+    d.bar + d.bar2
+  }
+}
+
+object O {
+  val aa = new AA(44)
+  val f = aa.foo
+  println("aa = " + aa.hashCode())
+  println("f = " + f)
+}
+
+object Main {
+  def main(args: Array[String]) = {
+    O
+    ()
+  }
+}