summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs
AgeCommit message (Expand)AuthorLines
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
2022-07-28Pass PatCtxt instead of passing MatchCtxt + Ty separatelyOli Scherer-5/+5
2022-07-28Don't pass (the rather large) `PatCtxt` by valueOli Scherer-4/+4
2022-07-28Move constructor into the branch that actually uses itOli Scherer-5/+5
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-18/+10
2022-07-15Infer wildcard type from other patterns at every pattern levelOli Scherer-6/+14
2022-07-15Move constructor into the branch that actually uses itOli Scherer-5/+5
2022-07-15Revert a hack that only ever worked on level deepOli Scherer-5/+1
2022-07-15Allow destructuring opaque types, since the patterns constrain the opaque typesOli Scherer-1/+5
2022-06-24use true recursionouz-a-14/+19
2022-06-17expand inner `or` patternouz-a-1/+11
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-15/+15
2022-05-02fix most compiler/ doctestsElliot Roberts-13/+24
2022-04-02do use ty::Const in patterns and abstract constsb-naber-5/+8
2022-03-30Spellchecking compiler commentsYuri Astrakhan-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 22:52:44 +0000