Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improves exhaustiveness analysis to not warn ab... | Paul Phillips | 2010-10-05 | 1 | -0/+1 |
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. |