This would let LLVM know that Rust's match is exhaustive, and it wouldn't have to leave a fallback code path except when the match actually has a _ pattern (which should be used as the default path). I noticed this in the glue code so it might be a measurable win for code size.
This would let LLVM know that Rust's match is exhaustive, and it wouldn't have to leave a fallback code path except when the match actually has a
_pattern (which should be used as the default path). I noticed this in the glue code so it might be a measurable win for code size.