summaryrefslogtreecommitdiff
path: root/test/files/neg/t6771b.check
Commit message (Collapse)AuthorAgeFilesLines
* SI-6771 Alias awareness for checkableType in match analysis.Jason Zaugg2013-04-241-0/+6
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[?]`.