blob: 48889dc485ae5b46e4b6c0613c4c60fb58321743 (
plain) (
tree)
|
|
class List[+T] {
def prepend [U >: T] (x: U): List[U] = null
}
object Nil extends List[Nothing]
object Inferred {
def foo[T](x: T): T = x
val x = foo(1)
val y = foo("abc")
def bar[U](xs: List[U]): List[U] = xs
val n = Nil
val nn = bar(Nil)
val ints: List[Int] = Nil prepend 1
val a = if (1 == 0) Nil else ints
val n2 = scala.collection.immutable.Nil
val ints2: scala.collection.immutable.List[String] = "abc" :: n2
val ints3 = "abc" :: n2
}
|