diff options
Diffstat (limited to 'tests/pending/pos/t1236.scala')
-rw-r--r-- | tests/pending/pos/t1236.scala | 14 |
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) +} |