blob: 696c544e78ebeeadfa1b703d8960979d14d17360 (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
object Test {
type Histogram[X] = Map[X, Int]
type StringlyHistogram[X >: String] = Histogram[X]
val xs: Histogram[String] = Map[String, Int]()
val ys: StringlyHistogram[String] = xs
def e = xs
val zs: StringlyHistogram[_] = e
type IntMap[Y] = Map[Int, Y]
val is = Map[Int, Boolean]()
val js: IntMap[Boolean] = is
val ks: IntMap[_] = is
type RMap[X, Y] = Map[Y, X]
val rs = Map[Int, Float]()
val ss: RMap[Float, Int] = rs
}
object Test2 {
type Histogram = Map[_, Int]
type StringlyHistogram = Histogram[_ >: String]
val xs: Histogram[String] = Map[String, Int]()
val ys: StringlyHistogram[String] = xs
val zs: StringlyHistogram = xs
val xs1 = xs
val ys1 = ys
val zs1 = zs
}
|