summary refs log tree commit diff
path: root/src/test/ui/check_match
AgeCommit message (Collapse)AuthorLines
2017-01-03Improve error message, fix and add tests.Andrew Cann-2/+2
Changes the non-exhaustive match error message to generate more general witnesses.
2016-10-26un-break the `construct_witness` logicAriel Ben-Yehuda-0/+103
Fixes #35609.