aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t1236.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/t1236.scala')
-rw-r--r--tests/untried/pos/t1236.scala14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/untried/pos/t1236.scala b/tests/untried/pos/t1236.scala
new file mode 100644
index 000000000..75a1befd2
--- /dev/null
+++ b/tests/untried/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] = Nil
+ }
+
+ def foo[F[_]](q:(String,String)) = "hello"
+ def foo[F[_]](e: Empty[F]) = "world"
+
+ val x = foo[List](ListEmpty)
+}