about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2023-12-09Auto merge of #116170 - matthewjasper:remove-thir-destruction-scopes, r=cjgillotbors-43/+4
2023-12-09Some types cannot show up as the type of a patternNadrieril-4/+3
2023-12-09Don't warn an empty pattern unreachable if we're not sure the data is validNadrieril-39/+90
2023-12-09Track place validityNadrieril-30/+216
2023-12-09Correctly handle empty constructorsNadrieril-158/+212
2023-12-09Be precise about usefulness vs reachabilityNadrieril-94/+159
2023-12-05Rollup merge of #118598 - Nadrieril:remove_precise_pointer_size_matching, r=d...Matthias Krüger-19/+6
2023-12-04Don't include destruction scopes in THIRMatthew Jasper-43/+4
2023-12-04Remove the `precise_pointer_size_matching` feature gateNadrieril-19/+6
2023-12-04Auto merge of #118490 - Nadrieril:arena-alloc-matrix, r=nnethercotebors-15/+8
2023-12-02Anticipate allocation sizesNadrieril-15/+8
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-5/+5
2023-11-30Auto merge of #118379 - compiler-errors:const-params-for-partialeq, r=fee1-deadbors-2/+10
2023-11-29Rollup merge of #118157 - Nadrieril:never_pat-feature-gate, r=compiler-errorsMatthias Krüger-0/+11
2023-11-29Add `never_patterns` feature gateNadrieril-0/+11
2023-11-28Add with_opt_const_effect_param helper, simplifyMichael Goulet-10/+9
2023-11-28Fix PartialEq args when #[const_trait] is enabledMichael Goulet-2/+11
2023-11-28Auto merge of #118405 - matthiaskrgr:rollup-3a2eevc, r=matthiaskrgrbors-2/+8
2023-11-28Auto merge of #118282 - fee1-dead-contrib:enforce-more, r=compiler-errorsbors-4/+4
2023-11-26Simplify indenting in THIR printingMark Rousskov-2/+8
2023-11-26Rollup merge of #118311 - bvanjoi:merge_coroutinue_into_closure, r=petrochenkovGuillaume Gomez-12/+12
2023-11-26Rollup merge of #118302 - mu001999:dead_code/clean, r=cjgillotGuillaume Gomez-149/+3
2023-11-26merge `DefKind::Coroutine` into `DefKind::Closure`bohan-12/+12
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-4/+4
2023-11-26Clean dead codesr0cky-149/+3
2023-11-26Auto merge of #117611 - Nadrieril:linear-pass-take-4, r=cjgillotbors-764/+1013
2023-11-25Review commentMichael Goulet-20/+8
2023-11-25make sure we still eagerly emit errorsMichael Goulet-2/+4
2023-11-25Remove mir::Const::from_anon_constMichael Goulet-4/+22
2023-11-25effects: Run `enforce_context_effects` for all method callsDeadbeef-4/+4
2023-11-22Separate `PatStack` and `MatrixRow`Nadrieril-42/+90
2023-11-22Clarify the `Wildcard`/`Missing` situationNadrieril-43/+59
2023-11-22Cleanup span passingNadrieril-30/+31
2023-11-22Store wildcard row in the matrixNadrieril-39/+48
2023-11-22Fully rework the algorithm and its explanationNadrieril-638/+748
2023-11-22Keep rows with guards in the matrixNadrieril-46/+38
2023-11-22Respect `split` invariants for `Opaque`sNadrieril-25/+59
2023-11-22Abstract over the list of `WitnessStack`sNadrieril-69/+106
2023-11-22Tweak `lower_pattern`Nadrieril-2/+4
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-66/+59
2023-11-17rename bound region instantiationlcnr-1/+1
2023-11-15Re-format code with new rustfmtMark Rousskov-5/+7
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-08Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwcobors-30/+31
2023-11-08avoid unnecessary nested conditionalsRalf Jung-11/+9
2023-11-04Suggest to set lint level on whole matchNadrieril-13/+25
2023-11-04Warn when lint level is set on a match armNadrieril-21/+41
2023-11-03Tweak spans for "adt defined here" noteNadrieril-6/+1
2023-11-03Accumulate let chains alongside the visitNadrieril-76/+78
2023-11-02Cleanup check_match code pathsNadrieril-110/+104