summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs
AgeCommit message (Expand)AuthorLines
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
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2021-11-23Fix stack overflow in `usefulness.rs`Badel2-4/+7
2021-11-12Auto merge of #90813 - notriddle:notriddle/vec-extend, r=GuillaumeGomezbors-3/+1
2021-11-11Use `Vec::extend`, instead of calling `Vec::push` in a loopMichael Howell-3/+1
2021-11-09Change the `assert` in `is_useful` to a `debug_assert`.Nicholas Nethercote-1/+1
2021-10-12Filter unstable and doc hidden variants in usefulness checkingDevin Ragotzy-6/+26
2021-10-01Normalize after substituting via `field.ty()`Nadrieril-2/+1
2021-09-26Trivialize tracking of unreachable subpatternsNadrieril-278/+35
2021-09-26Avoid double-deref in `Fields`Nadrieril-2/+1
2021-09-26Replace `Pat` with a new intermediate representationNadrieril-161/+64
2021-09-26Remove dependency of `SubPatSet` on `Pat`Nadrieril-27/+23
2021-09-26Move special `&str` handling to `Constructor` and `Fields`Nadrieril-18/+4
2021-09-26Rework `Fields` internals.Nadrieril-10/+18
2021-09-26A for loop is a lot faster apparentlyNadrieril-29/+9
2021-09-26Remove premature shortcuttingNadrieril-26/+12
2021-09-14Add reachable_patterns lint to rfc-2008-non_exhaustiveDevin Ragotzy-33/+121
2021-08-22Fix more β€œa”/β€œan” typosFrank Steffahn-1/+1
2021-05-22Make THIR building a stealable queryLeSeulArtichaut-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 06:42:24 +0000