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


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

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