diff options
author | Paul Phillips <paulp@improving.org> | 2012-01-07 10:50:44 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-01-07 13:48:51 -0800 |
commit | dc1bbb919eda7e3ec49e4b5cd9d726f58d318cf7 (patch) | |
tree | 5bb7b72ab1f7ea5732c8ab8a3c64140ceef0baaf /test/files/continuations-neg/t2949.check | |
parent | 27d19715af59e2e438808ae668c093ad61c8f728 (diff) | |
download | scala-dc1bbb919eda7e3ec49e4b5cd9d726f58d318cf7.tar.gz scala-dc1bbb919eda7e3ec49e4b5cd9d726f58d318cf7.tar.bz2 scala-dc1bbb919eda7e3ec49e4b5cd9d726f58d318cf7.zip |
TypeConstraint/TypeVar refinement.
I zeroed in on the actual conditions under which the parameter bounds
can be utilized without poisoning the well. Also fixed a bug in
ClassfileParser where it would get confused and set Any as a lower
bound, as well as a bug or at least misbehavior where a TypeBounds with
only Any/Nothing as an upper/lower bound would be treated differently
than one with no bound at all.
Review by @moors.
Diffstat (limited to 'test/files/continuations-neg/t2949.check')
-rw-r--r-- | test/files/continuations-neg/t2949.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/continuations-neg/t2949.check b/test/files/continuations-neg/t2949.check index dd9768807c..411aed1b5b 100644 --- a/test/files/continuations-neg/t2949.check +++ b/test/files/continuations-neg/t2949.check @@ -1,6 +1,6 @@ t2949.scala:13: error: type mismatch; found : Int - required: ? @scala.util.continuations.cpsParam[List[?],Any] + required: ? @scala.util.continuations.cpsParam[List[?],?] x * y ^ one error found |