blob: 325070f4ca6a2ad1bece1125f1cc2a1fb4126c4e (
plain) (
tree)
|
|
trait K
trait L
object O {
type LK = K with L
}
object Test extends dotty.runtime.LegacyApp {
local
def local = {
val A: O.LK = new K with L
val B: O.LK = new K with L
val scrut: O.LK = A
scrut match {
case B if "".isEmpty => ???
case A =>
case B => ???
}
}
}
|