From 860fd2eb286c48d36655ad99a068a2e61bdb1381 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Fri, 30 Aug 2013 11:10:37 +0200
Subject: More tests and fixes related to inference.

Main blooper: TypeVars got dereferenced in all Typemaps, so disappeared too quickly from types during inference.
---
 tests/pos/inferred.scala | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'tests/pos/inferred.scala')

diff --git a/tests/pos/inferred.scala b/tests/pos/inferred.scala
index 76f578a30..295cc9b49 100644
--- a/tests/pos/inferred.scala
+++ b/tests/pos/inferred.scala
@@ -6,4 +6,10 @@ object Inferred {
 
   val y = foo("abc")
 
+  def bar[U](xs: List[U]): List[U] = xs
+
+  val n = Nil
+
+  val nn = bar(Nil)
+
 }
-- 
cgit v1.2.3