blob: 6ab5ff3e6beb1560459d8b3076161d1bd2f55446 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
trait Foo extends Any {
def box1(x: Box1): String
def box2(x: Box2): String
}
class Box1(val value: String) extends AnyVal
class Box2(val value: String) extends AnyVal with Foo {
def box1(x: Box1) = "box1: ok"
def box2(x: Box2) = "box2: ok"
}
class C(x: String) {
def this() = this("")
}
object Test {
def main(args: Array[String]): Unit = {
val b1 = new Box1("")
val b2 = new Box2("")
val f: Foo = b2
println(f.box1(b1))
println(f.box2(b2))
}
}
|