2 files changed, 14 insertions, 0 deletions
diff --git a/tests/pos/t2741/2741_1.scala b/tests/pos/t2741/2741_1.scala
new file mode 100644
index 000000000..d9d04f7ab
--- /dev/null
+++ b/tests/pos/t2741/2741_1.scala
@@ -0,0 +1,9 @@
+trait Partial {
+  type Apply[XYZ] = List[XYZ]
+}
+trait MA[M[_]]
+trait MAs {
+  val a: MA[Partial#Apply] = null // after compilation, the type is pickled as `MA[ [B] List[B] ]`
+}
+
+object Scalaz extends MAs
diff --git a/tests/pos/t2741/2741_2.scala b/tests/pos/t2741/2741_2.scala
new file mode 100644
index 000000000..a9fd9d7d0
--- /dev/null
+++ b/tests/pos/t2741/2741_2.scala
@@ -0,0 +1,5 @@
+// object Test compiles jointly, but not separately.
+object Test {
+  import Scalaz._
+  Scalaz.a
+}