diff options
| author | Paul Phillips <paulp@improving.org> | 2012-02-10 03:11:49 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-02-10 17:58:00 -0800 |
| commit | c478eb770ddf27de64d55426f0fdd3fd81d11f22 (patch) | |
| tree | 0f1a3b19d2c829e951f1c48a41d4e7785499f3a5 /test/files/run/t4171.check | |
| parent | a209868820942c1f5b6333d2a0604c7a63b7d0d1 (diff) | |
| download | scala-c478eb770ddf27de64d55426f0fdd3fd81d11f22.tar.gz scala-c478eb770ddf27de64d55426f0fdd3fd81d11f22.tar.bz2 scala-c478eb770ddf27de64d55426f0fdd3fd81d11f22.zip | |
Overcame long-maddening existential issue.
When performing an existential transform, the bounds produced by the
hidden symbols may contain references to the hidden symbols, but these
references were not accounted for. This was at the root of some bad
behavior with existentials.
If you've ever seen a message like this:
<console>:8: error: type mismatch;
found : B(in value res0) where type B(in value res0) <: A with ScalaObject
required: B(in value res0) forSome { type B(in value res0) <: A with ScalaObject; type A <: Object with ScalaObject }
...then you know what I mean.
Closes SI-4171, not quite yet on SI-1195, SI-1201.
Diffstat (limited to 'test/files/run/t4171.check')
| -rw-r--r-- | test/files/run/t4171.check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/files/run/t4171.check b/test/files/run/t4171.check new file mode 100644 index 0000000000..d72391a1c4 --- /dev/null +++ b/test/files/run/t4171.check @@ -0,0 +1,3 @@ +1 +5 +class Test$B$1 |