aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/inferred.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pos/inferred.scala')
-rw-r--r--tests/pos/inferred.scala15
1 files changed, 12 insertions, 3 deletions
diff --git a/tests/pos/inferred.scala b/tests/pos/inferred.scala
index c138a8e53..03bd7ee6c 100644
--- a/tests/pos/inferred.scala
+++ b/tests/pos/inferred.scala
@@ -1,3 +1,12 @@
+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
@@ -12,8 +21,8 @@ object Inferred {
val nn = bar(Nil)
- val ints: List[Int] = 1 :: Nil
+ val ints: List[Int] = Nil prepend 1
- val a = if (1 == 0) Nil else ints
+ // val a = if (1 == 0) Nil else ints
-}
+} \ No newline at end of file