File: unchecked-suppress.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 (10 lines) | stat: -rw-r--r-- 490 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 
class A {
  def f(x: Any) = x match {
    case xs: List[String @unchecked]               => xs.head   // okay
    case xs: Set[Int]                              => xs.head   // unchecked
    case xs: Map[String @unchecked, String]        => xs.head   // one unchecked, one okay
    case f: ((Int @unchecked) => (Int @unchecked)) => f(5)      // okay
    case f: ((Int, Int) => Int)                    =>           // unchecked
    case _                                         => ""
  }
}