summaryrefslogtreecommitdiff
path: root/test/files/neg/exhausting.scala
Commit message (Collapse)AuthorAgeFilesLines
* Improves exhaustiveness analysis to not warn ab...Paul Phillips2010-10-051-1/+6
| | | | | | | | Improves exhaustiveness analysis to not warn about types which cannot match due to nonconformant type parameters. Also, look at the different warnings emitted in the test case based on the presence of a constraint. Nifty! Closes #3683, no review.
* Massively simplified the exhaustiveness checker...Paul Phillips2010-10-051-0/+40
Massively simplified the exhaustiveness checker with no measurable loss of fidelity. I might be the only one who can be unsurprised by such a bloody diff: anyone else would rightly say "how on earth..." No review.