blob: 2ea81e79cb690d23ad2a0d27d79ed192c9a802a6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
trait Ctx {
trait Tree
}
trait Lst[+A] {
def zip[A1 >: A, B](that: Lst[B]): Nothing
}
class C[@specialized(Int) T] {
def moo(t: T) = {
def foo1(c: Ctx)(l: Lst[c.Tree]) = l zip l
def foo2(c: Ctx)(l: Lst[c.Tree]*) = l(0) zip l(1)
def foo3(c: Ctx)(l: => Lst[c.Tree]) = l zip l
???
}
}
|