blob: 59a233d8354666d5b7ae67b68c12ae9cad8b814e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
trait Main {
trait A {
type B
}
trait C {
def c(a: A, x: Int = 0)(b: a.B)
}
def c: C
def d(a: A, x: Int = 0)(b: a.B)
def ok1(a: A)(b: a.B) = c.c(a, 42)(b)
def ok2(a: A)(b: a.B) = d(a)(b)
def fail(a: A)(b: a.B) = c.c(a)(b)
}
|