blob: 667b47f504dbc1586831227ad3fcd0bf6c4bef69 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/** Knowable - only final leaves */
sealed abstract class A1
sealed abstract class A2 extends A1
final class A3 extends A1
final class A4 extends A2
/** Unknowable */
sealed abstract class B1
sealed abstract class B2 extends B1
final class B3 extends B1
trait B4 extends B2
class Bippy
trait Dingus
class A {
/* warn */ (new Bippy).isInstanceOf[A1]
/* nowarn */ (new Bippy).isInstanceOf[B1]
/* nowarn */ ((new Bippy): Any).isInstanceOf[A1]
}
|