tests/pos/inferred.scala


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

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

}