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.scala | 2 -- 1 file changed, 2 deletions(-) (limited to 'test/files/neg/t6771b.scala') diff --git a/test/files/neg/t6771b.scala b/test/files/neg/t6771b.scala index 78f11f7750..9723f70290 100644 --- a/test/files/neg/t6771b.scala +++ b/test/files/neg/t6771b.scala @@ -6,8 +6,6 @@ // But, to the intrepid hacker who works on this, a few notes: // You'll have to look into places in the pattern matcher that // call `dealias`, and see if they need to be `dealiasWiden`. -// For example, if `checkableType` used only `dealias`, `pos/t6671.scala` -// would fail. object Test { val a = ""; var b: a.type = a -- cgit v1.2.3