File: t6595.scala

package info (click to toggle)
scala 2.11.12-6
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 62,924 kB
  • sloc: javascript: 28,808; java: 13,415; xml: 3,135; sh: 1,620; python: 756; makefile: 38; awk: 36; ansic: 6
file content (18 lines) | stat: -rw-r--r-- 418 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
import scala.annotation.switch

class Foo extends {
  final val b0 = 5
} with AnyRef {
  final val b1 = 10

  // Using the @switch annotation as a means of testing that the
  // type inferred for b0 is Int(5) and not Int. Only in the former
  // case can a switch be generated.
  def f(p: Int) = (p: @switch) match {
    case `b0` => 1
    case `b1` => 2
    case 15   => 3
    case 20   => 4
    case _    => 5
  }
}