blob: 99304df762f99fdd83a8e20d6749c0d0cf4711bf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
trait K
trait L
object O {
type LK = K with L
val A: LK = new K with L
val B: LK = new K with L
}
object Test extends App {
val scrut: O.LK = O.B
scrut match {
case O.A => ???
case O.B => // spurious unreachable
}
}
|