From 1ba2d7bb967ded0c19ff2cf966c492adc12292bb Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Tue, 29 Apr 2014 14:38:35 +0200 Subject: SI-8546 Pattern matcher analysis foiled by over-widening In the enclosed test, the prefix checkable type `ModuleTypeRef(F2.this, C)` was being inadvertently widened to `ModuleTypeRef(F2[?], C)`. This started after some misguided future-proofing in SI-6771 / 3009916. This commit changes the `dealiasWiden` to a `delias`. --- test/files/neg/t6771b.check | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/files/neg/t6771b.check') diff --git a/test/files/neg/t6771b.check b/test/files/neg/t6771b.check index ba99e9178d..0c9fae533e 100644 --- a/test/files/neg/t6771b.check +++ b/test/files/neg/t6771b.check @@ -1,4 +1,4 @@ -t6771b.scala:14: error: type mismatch; +t6771b.scala:12: error: type mismatch; found : x.type (with underlying type String) required: Test.a.type b = b match { case x => x } -- cgit v1.2.3