| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2017-01-03 | Improve error message, fix and add tests. | Andrew Cann | -2/+2 | |
| Changes the non-exhaustive match error message to generate more general witnesses. | ||||
| 2016-10-26 | un-break the `construct_witness` logic | Ariel Ben-Yehuda | -0/+103 | |
| Fixes #35609. | ||||
