about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs
AgeCommit message (Expand)AuthorLines
2023-12-11Extract exhaustiveness into its own crateNadrieril-1648/+0
2023-12-09Don't warn an empty pattern unreachable if we're not sure the data is validNadrieril-21/+64
2023-12-09Track place validityNadrieril-16/+106
2023-12-09Correctly handle empty constructorsNadrieril-5/+1
2023-12-09Be precise about usefulness vs reachabilityNadrieril-67/+131
2023-12-02Anticipate allocation sizesNadrieril-15/+8
2023-11-22Separate `PatStack` and `MatrixRow`Nadrieril-42/+90
2023-11-22Clarify the `Wildcard`/`Missing` situationNadrieril-35/+51
2023-11-22Cleanup span passingNadrieril-16/+15
2023-11-22Store wildcard row in the matrixNadrieril-39/+48
2023-11-22Fully rework the algorithm and its explanationNadrieril-479/+635
2023-11-22Keep rows with guards in the matrixNadrieril-46/+38
2023-11-22Abstract over the list of `WitnessStack`sNadrieril-69/+106
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-11-04Suggest to set lint level on whole matchNadrieril-10/+17
2023-11-04Warn when lint level is set on a match armNadrieril-21/+41
2023-11-01Auto merge of #116692 - Nadrieril:half-open-ranges, r=cjgillotbors-11/+12
2023-10-30Correctly handle nested or-patterns in column-wise analysesNadrieril-1/+1
2023-10-27Make IntRange exclusiveNadrieril-1/+1
2023-10-27s/to_pat/to_diagnostic_pat/Nadrieril-1/+1
2023-10-27Propagate half-open ranges through exhaustiveness checkingNadrieril-3/+4
2023-10-27Inline `RangeInclusive` into `IntRange`Nadrieril-9/+9
2023-10-27Handle `ty::Opaque` correctlyNadrieril-1/+16
2023-10-27Lint overlapping ranges as a separate passNadrieril-19/+85
2023-10-27Abstract over per-column pattern traversalNadrieril-36/+77
2023-10-21Fix #117033Nadrieril-0/+3
2023-10-14Lint `non_exhaustive_omitted_patterns` per columnNadrieril-47/+106
2023-10-14Distinguish user patterns from reconstructed witnessesNadrieril-50/+57
2023-10-03Clarify handling of hidden variantsNadrieril-9/+6
2023-10-03Replace SplitWildcard with a cleaner ConstructorSet abstractionNadrieril-78/+52
2023-08-28Add note when matching on nested non-exhaustive enumsSebastian Toh-23/+26
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-2/+2
2023-05-16Document how constants as opaque patterns behave differently.Oli Scherer-0/+16
2023-05-01fix doc test in mir_build for removing type ascriptionyukang-2/+1
2023-04-06Auto merge of #108504 - cjgillot:thir-pattern, r=compiler-errors,Nilstriebbors-11/+20
2023-04-03Rename hir_id to lint_root.Camille GILLOT-8/+16
2023-04-03Only emit lint on refutable patterns.Camille GILLOT-3/+4
2023-04-02Fix `non_exhaustive_omitted_patterns` lint spanclubby789-4/+4
2023-04-01Fix `non_exhaustive_omitted_patterns` on argumentsclubby789-0/+3
2023-01-11Migrate pattern matchingmejrs-45/+14
2023-01-11Migrate usefulness.rsmejrs-2/+19
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-11-20Change to Ty::is_inhabited_fromCameron Steffen-1/+1
2022-10-14more dupe word typosRageking8-1/+1
2022-10-01Refactor rustc lint APIMaybe Waffle-3/+2
2022-09-27rustc_typeck to rustc_hir_analysislcnr-1/+1
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-1/+9
2022-09-03Include enum path in variant suggestionMichael Goulet-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-2/+1
2022-08-22Rollup merge of #98200 - ouz-a:issue-98177, r=oli-obkDylan DPC-4/+19
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 15:20:02 +0000