| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-01-19 | Handle lifetime annotations in unreachable code | Matthew Jasper | -5/+1 |
| 2018-12-30 | Stop well-formedness checking unreachable code. | David Wood | -1/+10 |
| 2018-12-30 | Add explicit error annotations to test. | David Wood | -0/+1 |
| 2018-12-30 | Add test for unreachable well-formedness. | David Wood | -0/+7 |
