| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-01-19 | Fix tidy error | varkor | -1/+2 | |
| 2018-01-19 | Fix type inhabitedness check for arrays | varkor | -0/+26 | |
| Arrays of uninhabited types were considered to also be uninhabited if their length had not been evaluated, causing unsoundness. | ||||
