From c478eb770ddf27de64d55426f0fdd3fd81d11f22 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Fri, 10 Feb 2012 03:11:49 -0800 Subject: 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: :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. --- test/files/run/t4171.check | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 test/files/run/t4171.check (limited to 'test/files/run/t4171.check') 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 -- cgit v1.2.3