Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-9398 Treat case classes as one-element ADTs for analysis | Jason Zaugg | 2016-01-29 | 2 | -0/+11 |
Currently, exhaustivity analysis only runs for scrutinees with a sealed type. This commit treats any case class as a one-element, sealed type to enable additional analysis, such as in the new test case. |