blob: ddf62b92ff79c0da5220988ef225526920a6ec22 (
plain) (
tree)
|
|
object Test {
def main(args: Array[String]): Unit = {
println((new Foo: Baz).value1.v)
println((new Foo: Baz).value2.v)
}
}
class Foo extends Bar[VBoolean](new VBoolean(true)) with Baz
class Bar[T](x: T) {
def value1: T = x
def value2(): T = x
}
trait Baz {
def value1: VBoolean
def value2(): VBoolean
}
class VBoolean(val v: Boolean) extends AnyVal
|