object EnumMatch {
  object XY extends Enumeration {
    val x = Value("x")
    val y = Value("y")
  }
  private def binOp(left: XY.Value, right: XY.Value) = 
    (left, right) match {
      case (XY.x, XY.x) => XY.y
      
      // the following line produces the compiler crash
      case (XY.y, XY.y) | _ => XY.x
      // case _ => XY.x // however, this line works fine!
    }
}

java.lang.Error: Unknown label target: method body%1 at: OffsetPosition(DoubleMatch.scala,305): ctx: 	package: test
	clazz: test.EnumMatch
	method: test.EnumMatch.binOp
	bb: 24
	labels: Map(method failCont%1 -> method failCont%1, method body%0 -> method body%0, method failCont%3 -> method failCont%3, method failCont%2 -> method failCont%2, method failCont%4 -> method failCont%4)
	exception handlers: List()
	cleanups: List()
	scope: [][value left, value right][value temp1][value temp2, value temp3]

	at scala.tools.nsc.Global.abort(Global.scala:154)
	at scala.tools.nsc.backend.icode.GenICode$$ICodePhase.scala$$tools$$nsc$$backend$$icode$$GenICode$$ICodePhase$$$$genLoad(GenICode.scala:734)
	at scala.tools.nsc.backend.icode.GenICode$$ICodePhase.scala$$tools$$nsc$$backend$$icode$$GenICode$$ICodePhase$$$$genLoad(GenICode.scala:455)
	at scala.tools.nsc.backend.icode.GenICode$$ICodePhase.scala$$tools$$nsc$$backend$$icode$$GenICode$$ICodePhase$$$$genLoad(GenICode.scala:455)
	...