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/t5120.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/t5120.check')
-rw-r--r-- | test/files/neg/t5120.check | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/files/neg/t5120.check b/test/files/neg/t5120.check new file mode 100644 index 0000000000..34d4ebde31 --- /dev/null +++ b/test/files/neg/t5120.check @@ -0,0 +1,12 @@ +t5120.scala:11: error: type mismatch; + found : Object + required: _1 + List(str, other) foreach (_.x1 = new AnyRef) + ^ +t5120.scala:25: error: type mismatch; + found : Thread + required: h.T + (which expands to) _2 + List(str, num).foreach(h => h.f1 = new Thread()) + ^ +two errors found |