aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/t2741
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-05-16 14:25:39 +0200
committerMartin Odersky <odersky@gmail.com>2014-05-30 14:38:31 +0200
commit315c097d3a72077512fa06d7c26e8ad09a8b3f66 (patch)
treebe8502f05c4bb84580ba2e72e39b16b2fb029918 /tests/pos/t2741
parent996f47d48c3c10c51da58558643ec02844e45687 (diff)
downloaddotty-315c097d3a72077512fa06d7c26e8ad09a8b3f66.tar.gz
dotty-315c097d3a72077512fa06d7c26e8ad09a8b3f66.tar.bz2
dotty-315c097d3a72077512fa06d7c26e8ad09a8b3f66.zip
Triage of tests t27xx-t29xx.
Diffstat (limited to 'tests/pos/t2741')
-rw-r--r--tests/pos/t2741/2741_1.scala9
-rw-r--r--tests/pos/t2741/2741_2.scala5
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
+}