Allow several units to be pickle-tested at once.

Also: Make Pickler a plain phase; it is neither a macro transformer nor
a miniphase.

Add tests to pickleOK that are known to be stable under pickling/unpicking
by comparing tree representations via show.

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/pos/pickleOK/templateParents.scala b/tests/pos/pickleOK/templateParents.scala
new file mode 100644
index 000000000..316d8c81c
--- /dev/null
+++ b/tests/pos/pickleOK/templateParents.scala
@@ -0,0 +1,24 @@
+object templateParents {
+
+  // traits do not call a constructor
+  class C[+T](val x: T)
+  trait D extends C[String]
+  trait E extends C[Int]
+  class F extends C[Boolean](true) {
+    def foo = x
+  }
+  new C("abc") with D
+
+}
+
+object templateParents1 {
+  // tests inference of synthesized class type
+  class C[+T]
+  trait D extends C[String]
+  trait E extends C[Int]
+
+  val x = new D with E
+
+  val y: C[Int & String] = x
+}
+