test/pending/pos/t7234.scala


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)
}