summary refs log tree commit diff
path: root/src/test/ui/check_match
AgeCommit message (Expand)AuthorLines
2017-01-03Improve error message, fix and add tests.Andrew Cann-2/+2
2016-10-26un-break the `construct_witness` logicAriel Ben-Yehuda-0/+103