summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2020-12-22Fix a commentNadrieril-4/+4
2020-12-22Apply suggestions from code reviewNadrieril-14/+15
2020-12-22Simplify field filteringNadrieril-64/+56
2020-12-22Make the special "missing patterns" constructor realNadrieril-64/+57
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-17Rollup merge of #79051 - LeSeulArtichaut:if-let-guard, r=matthewjasperYuki Okushi-4/+36
2020-12-12Auto merge of #79553 - sexxi-goose:mir_min_cap_writeback, r=nikomatsakisbors-16/+44
2020-12-09Use precise places when lowering Closures in THIRAman Arora-16/+44
2020-12-06Retain assembly operands span when lowering AST to HIRTomasz Miąsko-1/+1
2020-12-06Implement lowering of if-let guards to MIRLeSeulArtichaut-1/+32
2020-12-06Introduce if-let guards in the THIRLeSeulArtichaut-4/+5
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-22Auto merge of #79243 - Nadrieril:consolidate-tests, r=varkorbors-0/+1
2020-11-19Regroup many usefulness-related test in the same folderNadrieril-0/+1
2020-11-19Rollup merge of #79149 - sexxi-goose:upvar_ref, r=nikomatsakisDylan DPC-120/+26
2020-11-18Auto merge of #78995 - Nadrieril:clean-empty-match, r=varkorbors-111/+141
2020-11-17Remove THIR::ExprKind::SelfRefAman Arora-2/+0
2020-11-17Move capture lowering from THIR to MIRAman Arora-118/+26
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-17Auto merge of #78801 - sexxi-goose:min_capture, r=nikomatsakisbors-2/+3