1 files changed, 13 insertions, 0 deletions
diff --git a/tests/pickling/pickleTypes.scala b/tests/pickling/pickleTypes.scala
new file mode 100644
index 000000000..ef322816a
--- /dev/null
+++ b/tests/pickling/pickleTypes.scala
@@ -0,0 +1,13 @@
+object pickleTypes {
+
+  abstract class C { type T; val x: T; def f: T; def g(y: T): T; def h[U](z: U, y: T): U }
+
+  val x1: Int = ???
+  val x2: List[List[Int]] = ???
+  val x3: C { type T <: C } = ???
+  val x4: C { type T = Int; val x: Int } = ???
+  val x5: C { type T = String; def f: String; def g(y: String): String } = ???
+  val x6: C { type T = String; def f: String; def g(y: String): String; def h[U](z: U, y: T): U } = ???
+
+
+}