Extra tests for Phantoms 1.

Author: nicolasstucki

tests/run/phantom-methods-10.check

@@ -0,0 +1,3 @@
+fun
+inky
+pacFun4

tests/run/phantom-methods-10.scala

@@ -0,0 +1,31 @@
+/* Run this test with
+ *   `run tests/run/xyz.scala -Xprint-diff-del -Xprint:arrayConstructors,phantomRefErasure,phantomErasure,erasure`
+ * to see the the diffs after PhantomRefErasure, PhantomDeclErasure and Erasure.
+ */
+
+object Test {
+  import Boo._
+
+  def main(args: Array[String]): Unit = {
+    fun2.pacFun4(inky)
+  }
+
+  def pacFun4(clyde: Inky) = {
+    println("pacFun4")
+  }
+
+  def inky: Inky = {
+    println("inky")
+    boo[Inky]
+  }
+
+  def fun2 = {
+    println("fun")
+    this
+  }
+}
+
+object Boo extends Phantom {
+  type Inky <: this.Any
+  def boo[B <: this.Any]: B = assume[B]
+}

tests/run/phantom-methods-8.check

@@ -0,0 +1,2 @@
+inky
+pacFun4

tests/run/phantom-methods-8.scala

@@ -0,0 +1,26 @@
+/* Run this test with
+ *   `run tests/run/xyz.scala -Xprint-diff-del -Xprint:arrayConstructors,phantomRefErasure,phantomErasure,erasure`
+ * to see the the diffs after PhantomRefErasure, PhantomDeclErasure and Erasure.
+ */
+
+object Test {
+  import Boo._
+
+  def main(args: Array[String]): Unit = {
+    pacFun4(inky)
+  }
+
+  def pacFun4(clyde: Inky) = {
+    println("pacFun4")
+  }
+
+  def inky: Inky = {
+    println("inky")
+    Boo.boo[Inky]
+  }
+}
+
+object Boo extends Phantom {
+  type Inky <: Boo.Any
+  def boo[B <: Boo.Any]: B = assume[B]
+}

tests/run/phantom-methods-9.check

@@ -0,0 +1,3 @@
+fun
+inky
+pacFun4

tests/run/phantom-methods-9.scala

@@ -0,0 +1,31 @@
+/* Run this test with
+ *   `run tests/run/xyz.scala -Xprint-diff-del -Xprint:arrayConstructors,phantomRefErasure,phantomErasure,erasure`
+ * to see the the diffs after PhantomRefErasure, PhantomDeclErasure and Erasure.
+ */
+
+object Test {
+  import Boo._
+
+  def main(args: Array[String]): Unit = {
+    fun1().pacFun4(inky)
+  }
+
+  def pacFun4(clyde: Inky) = {
+    println("pacFun4")
+  }
+
+  def inky: Inky = {
+    println("inky")
+    boo[Inky]
+  }
+
+  def fun1() = {
+    println("fun")
+    this
+  }
+}
+
+object Boo extends Phantom {
+  type Inky <: Boo.Any
+  def boo[B <: Boo.Any]: B = assume[B]
+}