blob: 2d575887930e891e892ad4149f24735d5ba4aa59 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
object Test {
def main(args: Array[String]): Unit = {
try new BooleanPropImpl() value
catch {
case e: RuntimeException => println("runtime exception")
}
}
}
trait Prop[@specialized(Boolean) +T] {
def value: T
}
class PropImpl[+T] extends Prop[T] {
def value: T = scala.sys.error("")
}
trait BooleanProp extends Prop[Boolean]
class BooleanPropImpl() extends PropImpl[Boolean] with BooleanProp
|