Accurate witnesses for non-exhaustive pattern matching#14731

Closed

ghost wants to merge 7 commits intomasterfrom

unknown repository

Commits on Jun 20, 2014

Check pattern refutability the same way exhaustiveness is checked
Jakub Wieczorek
committed
Provide a witness pattern for non-exhaustive patterns
Jakub Wieczorek
committed
Add support for fixed size vectors in let/arg patterns
Jakub Wieczorek
committed
Add unreachability detection for missized patterns of fixed size vectors
Jakub Wieczorek
committed
Fix #14393
Jakub Wieczorek
committed
Address review comments
Jakub Wieczorek
committed
Ignore issue-14393 on Windows
Jakub Wieczorek
committed