scala - The Scala programming language

	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[?]`.