about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2023-10-15use `PatKind::error` when an ADT const value has violationbohan-0/+8
2023-10-14Lint `non_exhaustive_omitted_patterns` per columnNadrieril-78/+128
2023-10-14Distinguish user patterns from reconstructed witnessesNadrieril-165/+198
2023-10-14Skip most of check_match checks in the presence of `PatKind::Error`Nadrieril-7/+19
2023-10-14Use `PatKind::Error` instead of `PatKind::Wild` to report errorsNadrieril-22/+25
2023-10-14Propagate pattern errors via a new `PatKind::Error` variantNadrieril-17/+14
2023-10-13Bless tests and new warnings due to formatting changesMichael Goulet-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-46/+66
2023-10-12Auto merge of #116391 - Nadrieril:constructorset, r=cjgillotbors-581/+665
2023-10-11Remember the `ErrorReported` used to silence follow up errors instead of recr...Oli Scherer-13/+15
2023-10-11Avoid emitting the non_exhaustive error if other errors already occurredOli Scherer-1/+7
2023-10-11Prevent spurious `unreachable pattern` lintsOli Scherer-26/+35
2023-10-11Fix range overflow checkingNadrieril-31/+63
2023-10-11Rework error handling when lowering range endpointsNadrieril-114/+87
2023-10-05Fix handling slices of empty typesNadrieril-8/+21
2023-10-04Clarify for reviewNadrieril-25/+33
2023-10-03Don't collect `seen` if not neededNadrieril-19/+11
2023-10-03Clarify handling of hidden variantsNadrieril-74/+76
2023-10-03Replace SplitWildcard with a cleaner ConstructorSet abstractionNadrieril-318/+434
2023-10-03Splitting ensures subrange comparison is all we needNadrieril-13/+1
2023-10-03Rework slice splitting apiNadrieril-133/+120
2023-10-03Rework range splitting apiNadrieril-112/+90
2023-10-01Move `eval_bits` optimization upstreamNadrieril-35/+6
2023-10-01Cleanup number literal evaluationNadrieril-91/+102
2023-10-01No need to carry `bias` in `IntRange`Nadrieril-11/+5
2023-10-01Evaluate float consts eagerlyNadrieril-39/+59
2023-09-27fix clippy::{redundant_guards, useless_format}Matthias Krüger-3/+1
2023-09-27Auto merge of #115887 - RalfJung:pat, r=oli-obkbors-11/+17
2023-09-27Auto merge of #116163 - compiler-errors:lazyness, r=oli-obkbors-1/+1
2023-09-26Don't store lazyness in DefKindMichael Goulet-1/+1
2023-09-25rename lint; add tracking issueRalf Jung-1/+1
2023-09-24use a must_hold variant for checking PartialEqRalf Jung-5/+10
2023-09-24make sure we always emit the no-PartialEq lint, even if there were other lintsRalf Jung-13/+17
2023-09-24work towards rejecting consts in patterns that do not implement PartialEqRalf Jung-2/+12
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-34/+34
2023-09-20the Const::eval_bits methods don't need to be given the TyRalf Jung-9/+9
2023-09-19move ConstValue into mirRalf Jung-3/+3
2023-09-18better ICE than sorryRalf Jung-0/+3
2023-09-16thir::pattern: update some comments and error type namesRalf Jung-11/+14
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-4/+4
2023-09-13make the set of methods between our two Const types more consistentRalf Jung-2/+2
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-0/+2
2023-09-03Auto merge of #115270 - sebastiantoh:issue-105479, r=Nadrierilbors-37/+39
2023-09-03Improve clarity of diagnostic message on non-exhaustive matchesSebastian Toh-2/+2
2023-09-03Fix code that now emits unused doc comment warning for expr fieldGurinder Singh-2/+2
2023-08-28Add note when matching on nested non-exhaustive enumsSebastian Toh-31/+29
2023-08-28Add note that str cannot be matched exhaustivelySebastian Toh-6/+10
2023-08-21Add note when matching on tuples/ADTs containing non-exhaustive typesSebastian Toh-14/+31
2023-08-15Rollup merge of #114819 - estebank:issue-78124, r=compiler-errorsMatthias Krüger-3/+5
2023-08-15Deny FnDef in patternsMichael Goulet-1/+6