test/pending/pos/no-widen-locals.scala


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

// Worked from r23262 until that was reverted somewhere
// around r25016.
import annotation.switch

object Test {
  def f(x: Int) = {
    val X1 = 5
    val X2 = 10
    val X3 = 15
    val X4 = 20
    
    (x: @switch) match {
      case X1 => 1
      case X2 => 2
      case X3 => 3
      case X4 => 4
    }
  }
}