File: generic-sigs.scala

package info (click to toggle)
scala 2.9.2%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 67,252 kB
  • ctags: 6,602
  • sloc: java: 27,488; xml: 4,412; python: 2,297; sh: 734; makefile: 16; ansic: 6
file content (18 lines) | stat: -rw-r--r-- 687 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
object A {
  def f1 = List(classOf[Int], classOf[String])
  def f2 = List(classOf[String], classOf[Int])
  def f3(x: Class[_ <: Int]) = x
  def f4(x: Class[_ <: String with Int]) = x
  def f5(x: Class[_ <: Int with String]) = x
  
  class Bippy[T]
  def f6(x: Int) = new Bippy[t forSome { type t <: Int }]
  def f7(x: T forSome { type T <: Float }) = x
  def f8(x: T forSome { type T <: Unit }) = x
  def f9(x: T forSome { type T <: runtime.BoxedUnit }) = x
  def f10(x: Int) = new Bippy[t forSome { type t <: Unit }]
  def f11(x: Int) = new Bippy[t forSome { type t >: Null }]
  
  class Boppy[+T1,-T2]
  def g1 = new Boppy[t forSome { type t <: Int }, u forSome { type u <: String }]
}