about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2020-12-22Completely rework the explanation of the algorithmNadrieril-285/+324
2020-12-22Pass `Matrix` explicitly instead of via `PatCtxt`Nadrieril-27/+48
2020-12-22Inline the constructor-specific `split` functionsNadrieril-34/+19
2020-12-22Inline `all_constructors`Nadrieril-121/+115
2020-12-22Rebrand `MissingConstructors` as `SplitWildcard`Nadrieril-49/+67
2020-12-22Factor out `SplitVarLenSlice` used for slice splittingNadrieril-105/+117
2020-12-22Run the annoying lint separatelyNadrieril-54/+43
2020-12-22Factor out `SplitIntRange` used for integer range splittingNadrieril-89/+110
2020-12-22Auto merge of #78242 - Nadrieril:rename-overlapping_endpoints-lint, r=varkorbors-9/+9
2020-12-19Auto merge of #80104 - Nadrieril:usefulness-merging, r=varkorbors-114/+185
2020-12-19Tweak diagnosticsNadrieril-3/+2
2020-12-18Unify the two kinds of usefulness mergingNadrieril-63/+35
2020-12-18Merge unreachable subpatterns correctlyNadrieril-3/+28
2020-12-18Keep all witnesses of non-exhaustivenessNadrieril-27/+37
2020-12-18Rewrite usefulness merging using `SpanSet`Nadrieril-65/+114
2020-12-18Log the output of `is_useful` in the or-pattern case tooNadrieril-25/+31
2020-12-18Factor out or-pattern usefulness mergingNadrieril-72/+81
2020-12-06Implement lowering of if-let guards to MIRLeSeulArtichaut-0/+31
2020-12-04Inline `is_covered_by`Nadrieril-0/+2
2020-11-29Improve error messageNadrieril-3/+3
2020-11-29Be consistent about linting singletonsNadrieril-1/+1
2020-11-29Rename the `overlapping_patterns` lint to `overlapping_range_endpoints`Nadrieril-6/+7
2020-11-28Don't store `ty` and `span` in `IntRange`Nadrieril-66/+56
2020-11-28Correctly detect `usize`/`isize` range overlapsNadrieril-29/+12
2020-11-27Rename `_match` to `usefulness`Nadrieril-4/+4
2020-11-27Rename `pat_constructor` to `Constructor::from_pat`Nadrieril-63/+63
2020-11-27Move the definitions of the two `Ctxt`s to the topNadrieril-47/+46
2020-11-27Extract everything related to pattern deconstruction to a new moduleNadrieril-1387/+1413
2020-11-27No need to expose `Matrix` internalsNadrieril-1/+6
2020-11-27Disentangle `Fields` and `PatStack`Nadrieril-17/+16
2020-11-27Move `Constructor::apply` to `Fields`Nadrieril-93/+89
2020-11-25Fix docs formatting for `thir::pattern::_match`Camelid-22/+31
2020-11-19Regroup many usefulness-related test in the same folderNadrieril-0/+1
2020-11-18Auto merge of #78995 - Nadrieril:clean-empty-match, r=varkorbors-111/+141
2020-11-17Rollup merge of #79072 - oli-obk:byte_str_pat, r=estebankMara Bos-8/+36
2020-11-17Fix exhaustiveness in case a byte string literal is used at slice typeoli-8/+36
2020-11-16Apply suggestions from code reviewNadrieril-2/+2
2020-11-15Rollup merge of #77802 - jyn514:bootstrap-specific, r=nikomatsakisJonas Schievink-2/+1
2020-11-12Factor out match usefulness computation in `check_match`Nadrieril-78/+118
2020-11-12Unreachable subpatterns are rareNadrieril-0/+2
2020-11-12Handle empty matches cleanlyNadrieril-33/+21
2020-11-09Rollup merge of #78748 - fanzier:tuple-assignment, r=petrochenkovDylan DPC-0/+1
2020-11-07Allow making `RUSTC_BOOTSTRAP` conditional on the crate nameJoshua Nelson-2/+1
2020-11-07Implement destructuring assignment for tuplesFabian Zaiser-0/+1
2020-11-07Rollup merge of #78167 - Nadrieril:fix-76836_, r=varkorYuki Okushi-34/+93
2020-11-05Emit lints in the order in which they occur in the file.Nadrieril-4/+5
2020-11-05Fix unreachable sub-branch detectionNadrieril-35/+93
2020-11-05Fix even more URLsGuillaume Gomez-2/+2
2020-11-04`u128` truncation and sign extension are not just interpreter relatedoli-5/+5
2020-11-01Auto merge of #78553 - Nadrieril:fix-78549, r=varkorbors-32/+55