Add test case

Author: odersky

tests/pickling/i3816.scala

@@ -0,0 +1,4 @@
+trait Iterable { self =>
+  //type CC <: Iterable { type CC = self.CC }
+  type DD[X] <: Iterable { type DD[Y] = self.DD[Y] }
+}