Rewrite exhaustiveness in one pass#117611
Merged
bors merged 10 commits intorust-lang:masterfrom Nadrieril:linear-pass-take-4Nov 26, 2023
+1,294-1,002
Commits
Commits on Nov 22, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed