blob: 4a0d6fb57cb2f24d59ca6cd3d2750c919fd88730 (
plain) (
tree)
|
|
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 dotty.runtime.LegacyApp {
val scrut: O.LK = O.B
scrut match {
case O.A => ???
case O.B => // spurious unreachable
}
}
|