Extra tests for Phantoms 2.

Author: nicolasstucki

tests/run/phantom-lazy-val.check

@@ -0,0 +1,3 @@
+1
+foo
+2

tests/run/phantom-lazy-val.scala

@@ -0,0 +1,27 @@
+
+/* Run this test with
+ *   `run tests/run/xyz.scala -Xprint-diff-del -Xprint:arrayConstructors,phantomTermErasure,phantomTypeErasure,erasure`
+ * to see the the diffs after PhantomRefErasure, PhantomDeclErasure and Erasure.
+ */
+
+object Test {
+  import Boo._
+
+  def main(args: Array[String]): Unit = {
+    println(1)
+    foo
+    println(2)
+    foo
+  }
+
+  lazy val foo = {
+    println("foo")
+    any
+  }
+
+}
+
+object Boo extends Phantom {
+  type BooAny = this.Any
+  def any: BooAny = assume[BooAny]
+}

tests/run/phantom-val.check

@@ -0,0 +1,2 @@
+foo
+1

tests/run/phantom-val.scala

@@ -0,0 +1,26 @@
+
+/* Run this test with
+ *   `run tests/run/xyz.scala -Xprint-diff-del -Xprint:arrayConstructors,phantomTermErasure,phantomTypeErasure,erasure`
+ * to see the the diffs after PhantomRefErasure, PhantomDeclErasure and Erasure.
+ */
+
+object Test {
+  import Boo._
+
+  def main(args: Array[String]): Unit = {
+    println(1)
+    foo
+    foo
+
+  }
+
+  val foo = {
+    println("foo")
+    any
+  }
+}
+
+object Boo extends Phantom {
+  type BooAny = this.Any
+  def any: BooAny = assume[BooAny]
+}

tests/run/phantom-var.check

@@ -0,0 +1,2 @@
+foo
+foo2

tests/run/phantom-var.scala

@@ -0,0 +1,30 @@
+
+/* Run this test with
+ *   `run tests/run/xyz.scala -Xprint-diff-del -Xprint:arrayConstructors,phantomTermErasure,phantomTypeErasure,erasure`
+ * to see the the diffs after PhantomRefErasure, PhantomDeclErasure and Erasure.
+ */
+
+object Test {
+  import Boo._
+
+  def main(args: Array[String]): Unit = {
+    foo
+    foo
+    foo = {
+      println("foo2")
+      any
+    }
+    foo
+
+  }
+
+  var foo = {
+    println("foo")
+    any
+  }
+}
+
+object Boo extends Phantom {
+  type BooAny = this.Any
+  def any: BooAny = assume[BooAny]
+}