blob: 59a233d8354666d5b7ae67b68c12ae9cad8b814e (
plain) (
tree)
|
|
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)
}
|