diff options
author | Martin Odersky <odersky@gmail.com> | 2011-11-01 17:16:51 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2011-11-01 17:16:51 +0000 |
commit | b7b81ca286b1f426cd19befd50fbc513bb82282f (patch) | |
tree | 1008c7594c42995b7758b2bb09f87134ac98b2d1 /test/files/neg/t3015.check | |
parent | 69b3cd50923b3f495f1e421e8a4ac505044f3c40 (diff) | |
download | scala-b7b81ca286b1f426cd19befd50fbc513bb82282f.tar.gz scala-b7b81ca286b1f426cd19befd50fbc513bb82282f.tar.bz2 scala-b7b81ca286b1f426cd19befd50fbc513bb82282f.zip |
Fixed type unsoundness problem in t5120 and als...
Fixed type unsoundness problem in t5120 and also discovered by
roman.kalukiewicz@gmail.com. Fix should be refined further, as I am not
convinced we are quite done yet. Review by moors.
Diffstat (limited to 'test/files/neg/t3015.check')
-rw-r--r-- | test/files/neg/t3015.check | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/files/neg/t3015.check b/test/files/neg/t3015.check index 6095efc6a7..0b394e23d6 100644 --- a/test/files/neg/t3015.check +++ b/test/files/neg/t3015.check @@ -1,11 +1,11 @@ t3015.scala:7: error: scrutinee is incompatible with pattern type; - found : _$1 where type _$1 + found : _$1 where type +_$1 required: String val b(foo) = "foo" ^ t3015.scala:7: error: type mismatch; - found : _$1(in value foo) where type _$1(in value foo) <: String - required: (some other)_$1(in value foo) where type (some other)_$1(in value foo) + found : String with _$1(in object Test) where type +_$1(in object Test) + required: (some other)_$1(in object Test) where type +(some other)_$1(in object Test) val b(foo) = "foo" ^ two errors found |