tests/run/t8611c.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

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 => ???
    }
  }
}