blob: a9282a895fec14368db4f75e10dc15b93e06b93d (
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
26
27
28
|
/** Here we have a situation where a normalized method parameter `W`
* is used in a position which expects a type `T` - we know we can
* safely cast `W` to `T` whenever typebounds of `W` hold.
*/
object Test {
def main(args: Array[String]) {
val foo = Foo.createUnspecialized[Int]
println(foo.bar(17))
}
}
object Foo {
def createUnspecialized[T] = new Foo[T]
}
class Foo[@specialized(Int) T] {
val id: T => T = x => x
def bar[@specialized(Int) W <: T, @specialized(Int) S](w: W) = id(w)
}
|