blob: d954d748b77cd18d09822bb6749fbbc0e82aacf8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
object Test {
def main(args: Array[String]): Unit = {
try new BooleanPropImpl().value
catch {
// was: StackOverflowError
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
|