diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-09-25 15:02:59 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-09-25 15:02:59 +0200 |
| commit | b7f5aa30383730dc1d2b34f9773695d0f5669bcd (patch) | |
| tree | 2e3dc8e18a09c1f7ca271c4f282be972aeab34fd /tests/pos/inferred.scala | |
| parent | 50a84e0e900fd5a67a4701fd2730a0c0bf66b834 (diff) | |
| download | dotty-b7f5aa30383730dc1d2b34f9773695d0f5669bcd.tar.gz dotty-b7f5aa30383730dc1d2b34f9773695d0f5669bcd.tar.bz2 dotty-b7f5aa30383730dc1d2b34f9773695d0f5669bcd.zip | |
Sereval more bugfixes to typer and type handling.
Several of these avoided stackoverflows/cyclic references
Diffstat (limited to 'tests/pos/inferred.scala')
| -rw-r--r-- | tests/pos/inferred.scala | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/pos/inferred.scala b/tests/pos/inferred.scala index 03bd7ee6c..48889dc48 100644 --- a/tests/pos/inferred.scala +++ b/tests/pos/inferred.scala @@ -23,6 +23,12 @@ object Inferred { val ints: List[Int] = Nil prepend 1 - // val a = if (1 == 0) Nil else ints + 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 }
\ No newline at end of file |