The actual code that handles exhaustiveness checks has extensive explanations on how it works and what it was inspired by. https://github.com/rust-lang/rust/bl

The actual code that handles exhaustiveness checks has extensive explanations on how it works and what it was inspired by. https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs https://github.com/rust-lang/rust/blob/master/compiler/rustc...