aboutsummaryrefslogblamecommitdiff
path: root/tests/pending/run/t5284c.scala
blob: 8a20343a46138d8e0232e60e50eefcad41a437f4 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13












                                                       
                                         















                                                          
/** Here we have a compound type `List[W]` used in
 *  a position where `List[T]` is expected. The cast
 *  emitted in the normalized `bar` is safe because the
 *  normalized `bar` can only be called if the type
 *  bounds hold.
 */
object Test {
  def main(args: Array[String]): Unit = {
    val foo = Foo.createUnspecialized[Int]
    println(foo.bar(List(1, 2, 3)))
  }
}


object Foo {
  def createUnspecialized[T] = new Foo[T]
}


class Foo[@specialized(Int) T] {
  val len: List[T] => Int = xs => xs.length

  def bar[@specialized(Int) W <: T](ws: List[W]) = len(ws)
}