diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-30 11:10:37 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-30 11:10:37 +0200 |
commit | 860fd2eb286c48d36655ad99a068a2e61bdb1381 (patch) | |
tree | 0c75f7aa2228adae973a16ec5b5afccaaa7c68be /tests/pos/inferred.scala | |
parent | 28f8102d1b4e8c8fd2d2f1838b49e70844245a5f (diff) | |
download | dotty-860fd2eb286c48d36655ad99a068a2e61bdb1381.tar.gz dotty-860fd2eb286c48d36655ad99a068a2e61bdb1381.tar.bz2 dotty-860fd2eb286c48d36655ad99a068a2e61bdb1381.zip |
More tests and fixes related to inference.
Main blooper: TypeVars got dereferenced in all Typemaps, so disappeared too quickly from types during inference.
Diffstat (limited to 'tests/pos/inferred.scala')
-rw-r--r-- | tests/pos/inferred.scala | 6 |
1 files changed, 6 insertions, 0 deletions
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) + } |