blob: d3e58b2a166d5dc681ab6abf0eddd315d697a5eb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// inferred types were okay here as Function nodes aren't
// translated into anoymous subclasses of AbstractFunctionN
// until after the typer.
//
// So this test is just confirmation.
trait X { def foo: Function1[Int, Int] }
trait Y extends X {
abstract override def foo = { case i => super.foo(i) * 2 }
}
trait Z extends X {
abstract override def foo = { case i => super.foo(i) + 3 }
}
trait Comb extends Y with Z {
abstract override def foo: Function1[Int, Int] = { case i => super.foo(i) - 2 }
}
|