diff options
| author | bors <bors@rust-lang.org> | 2024-01-07 13:36:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-07 13:36:54 +0000 |
| commit | d8b44d2802ab665b183dce06d527bf09175dd8cf (patch) | |
| tree | 7b370d34fc1cd43aaa2a2fa405b6aaa223239a81 /compiler/rustc_pattern_analysis/src/lib.rs | |
| parent | 87e1430893d55001034bd76c5dbe832d80bc50c3 (diff) | |
| parent | 50b197c6ee0c42df56020bd4c5d8e393411fb8c0 (diff) | |
| download | rust-d8b44d2802ab665b183dce06d527bf09175dd8cf.tar.gz rust-d8b44d2802ab665b183dce06d527bf09175dd8cf.zip | |
Auto merge of #119667 - Nadrieril:remove-wildcard-row, r=compiler-errors
Exhaustiveness: remove `Matrix.wildcard_row` To compute exhaustiveness, we check whether an extra row with a wildcard added at the end of the match expression would be reachable. We used to store an actual such row of patterns in the `Matrix`, but it's a bit redundant since we know it only contains wildcards. It was kept because we used it to get the type of each column (and relevancy). With this PR, we keep track of the types (and relevancy) directly. This is part of me splitting up https://github.com/rust-lang/rust/pull/119581 for ease of review. r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/lib.rs')
0 files changed, 0 insertions, 0 deletions