Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-8546 Pattern matcher analysis foiled by over-widening | Jason Zaugg | 2014-05-07 | 1 | -2/+0 |
| | | | | | | | | | 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`. | ||||
* | SI-6771 Alias awareness for checkableType in match analysis. | Jason Zaugg | 2013-04-24 | 1 | -0/+16 |
Failure to dealias the type of the scrutinee led the pattern matcher to incorrectly reason about the type test in: type Id[X] = X; (null: Id[Option[Int]]) match { case Some(_) => } Before, `checkableType` returned `Id[?]`, now it returns `Some[?]`. |