aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t1236.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t1236.scala')
-rw-r--r--tests/pending/pos/t1236.scala14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/pending/pos/t1236.scala b/tests/pending/pos/t1236.scala
new file mode 100644
index 000000000..eee1cbf02
--- /dev/null
+++ b/tests/pending/pos/t1236.scala
@@ -0,0 +1,14 @@
+trait Empty[E[_]] {
+ def e[A]: E[A]
+}
+
+object T {
+ val ListEmpty = new Empty[List] {
+ def e[A]/*: List*/ = Nil // uncomment to get crash
+ }
+
+ def foo[F[_]](q:(String,String)) = "hello"
+ def foo[F[_]](e: Empty[F]) = "world"
+
+ val x = foo[List](ListEmpty)
+}