test/files/pos/pat_iuli.scala


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

trait Ops requires MyCodes {
  abstract class Instru
  object opcodes {
    case class SWITCH(i:Int) extends Instru
    case object EmptyInstr extends Instru
  }
}

trait Blox requires MyCodes {
  import opcodes._
  class Basick {
    var foo: Instru = null

    def bar = foo match {
      case SWITCH(i) => i
      case EmptyInstr => 0
    }
  }
}

abstract class MyCodes extends AnyRef with Ops with Blox {
}