diff options
| author | Paul Phillips <paulp@improving.org> | 2011-05-26 04:43:01 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-05-26 04:43:01 +0000 |
| commit | 3f192157811eb268d46f3a71011a5b2b966faa14 (patch) | |
| tree | 58259d2ca3e449288368fe24a8ebc5305cb345b2 /test/files | |
| parent | d3ff7ee9fcac1d10c145bbd1f37a69b989a73cdf (diff) | |
| download | scala-3f192157811eb268d46f3a71011a5b2b966faa14.tar.gz scala-3f192157811eb268d46f3a71011a5b2b966faa14.tar.bz2 scala-3f192157811eb268d46f3a71011a5b2b966faa14.zip | |
Finished reverting the misbegotten r23262, no r...
Finished reverting the misbegotten r23262, no review.
Diffstat (limited to 'test/files')
| -rw-r--r-- | test/files/pos/no-widen-locals.scala | 17 | ||||
| -rw-r--r-- | test/files/pos/widen-existential.scala | 4 | ||||
| -rw-r--r-- | test/files/run/constrained-types.check | 2 |
3 files changed, 5 insertions, 18 deletions
diff --git a/test/files/pos/no-widen-locals.scala b/test/files/pos/no-widen-locals.scala deleted file mode 100644 index 32579404b2..0000000000 --- a/test/files/pos/no-widen-locals.scala +++ /dev/null @@ -1,17 +0,0 @@ -import annotation.switch - -object Test { - def f(x: Int) = { - val X1 = 5 - val X2 = 10 - val X3 = 15 - val X4 = 20 - - (x: @switch) match { - case X1 => 1 - case X2 => 2 - case X3 => 3 - case X4 => 4 - } - } -} diff --git a/test/files/pos/widen-existential.scala b/test/files/pos/widen-existential.scala index 90a62e461b..d7fa3cc1d8 100644 --- a/test/files/pos/widen-existential.scala +++ b/test/files/pos/widen-existential.scala @@ -1,3 +1,7 @@ class A { { val x = classOf[List[_]] } + def f = { + val g = classOf[List[_]] + List(g, g) + } }
\ No newline at end of file diff --git a/test/files/run/constrained-types.check b/test/files/run/constrained-types.check index 6919eca9bc..66580f063a 100644 --- a/test/files/run/constrained-types.check +++ b/test/files/run/constrained-types.check @@ -100,7 +100,7 @@ scala> def m = { val y : String @Annot(x) = x y } // x should not escape the local scope with a narrow type -m: String @Annot("three") +m: java.lang.String @Annot(x) forSome { val x: java.lang.String } scala> |