blob: 696c544e78ebeeadfa1b703d8960979d14d17360 (
plain) (
tree)
|
|
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
}
|