blob: ba0845fb8e05f6e40086474f7cb04427197c7ebc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/** Here we have a situation where a normalized method parameter `W`
* is used in a position which accepts an instance of type `T` - we know we can
* safely cast `T` to `W` whenever type bounds on `W` hold.
*/
object Test {
def main(args: Array[String]) {
val a = Blarg(Array(1, 2, 3))
println(a.m((x: Int) => x + 1))
}
}
object Blarg {
def apply[T: Manifest](a: Array[T]) = new Blarg(a)
}
class Blarg[@specialized(Int) T: Manifest](val a: Array[T]) {
def m[@specialized(Int) W >: T, @specialized(Int) S](f: W => S) = f(a(0))
}
|
