about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/build
AgeCommit message (Expand)AuthorLines
2024-02-08Rollup merge of #120775 - Nadrieril:more-min_exh_pats, r=compiler-errorsMatthias Krüger-1/+2
2024-02-08Auto merge of #120767 - matthiaskrgr:rollup-0k8ib1c, r=matthiaskrgrbors-54/+53
2024-02-08Match `min_exhaustive_patterns` implementation with `exhaustive_patterns`Nadrieril-1/+2
2024-02-08Continue to borrowck even if there were previous errorsOli Scherer-4/+29
2024-02-08Rollup merge of #120214 - Nadrieril:fix-120210, r=pnkfelixMatthias Krüger-54/+53
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-1/+4
2024-01-29Rollup merge of #120390 - matthewjasper:inline-constant-pat-mir, r=davidtwcoDylan DPC-2/+35
2024-01-29Borrow check inline const patternsMatthew Jasper-2/+35
2024-01-25Clarify the new binding danceNadrieril-44/+20
2024-01-25Put new bindings first in refutable cases tooNadrieril-4/+4
2024-01-25Clarify the binding danceNadrieril-22/+41
2024-01-25Move `Or` test out of the loopNadrieril-22/+26
2024-01-23Rollup merge of #120171 - cjgillot:jump-threading-assume-assert, r=tmiaskoLeón Orell Valerian Liehr-0/+4
2024-01-22Add Assume custom MIR.Camille GILLOT-0/+4
2024-01-19Pack the u128 in LitKind::IntJosh Stone-1/+1
2024-01-16Auto merge of #116520 - Enselic:large-copy-into-fn, r=oli-obkbors-10/+26
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-10/+26
2024-01-15Rollup merge of #119971 - compiler-errors:zip-eq, r=nnethercoteMatthias Krüger-2/+3
2024-01-14Use zip_eq to enforce that things being zipped have equal sizesMichael Goulet-1/+1
2024-01-14Closure body was being built incorrectly on error...Michael Goulet-1/+2
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-15/+14
2024-01-06Don't populate yield and resume types after the factMichael Goulet-65/+65
2024-01-05Rollup merge of #119563 - compiler-errors:coroutine-resume, r=oli-obkMatthias Krüger-10/+17
2024-01-05Restore if let guard temporary scoping differenceMatthew Jasper-0/+6
2024-01-05Remove `thir::Guard`Matthew Jasper-20/+14
2024-01-05Remove `hir::Guard`Matthew Jasper-5/+43
2024-01-04Rollup merge of #119325 - RalfJung:custom-mir, r=compiler-errorsMatthias Krüger-2/+10
2024-01-04Check yield terminator's resume type in borrowckMichael Goulet-10/+17
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-7/+4
2023-12-26custom mir: make it clear what the return block isRalf Jung-2/+10
2023-12-26Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-e...bors-4/+4
2023-12-25Auto merge of #119122 - matthewjasper:if-let-guard-scoping, r=TaKO8Kibors-236/+230
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-4/+4
2023-12-21Give temporaries in if let guards correct scopesMatthew Jasper-1/+21
2023-12-19Auto merge of #119112 - Nadrieril:remove-target_blocks-hack, r=matthewjasperbors-71/+65
2023-12-19Remove the `make_target_blocks` hackNadrieril-71/+65
2023-12-18Pass THIR ExprIds in MIR buildingMatthew Jasper-235/+209
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-15Annotate some more bugsMichael Goulet-2/+6
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-10Auto merge of #118692 - surechen:remove_unused_imports, r=petrochenkovbors-2/+0
2023-12-10remove redundant importssurechen-2/+0
2023-12-09s/const_effect/host_effectMichael Goulet-1/+1
2023-12-09Auto merge of #116170 - matthewjasper:remove-thir-destruction-scopes, r=cjgillotbors-111/+66
2023-12-08coverage: Use `SpanMarker` to mark the full condition of `if !`Zalathar-0/+5
2023-12-08coverage: Use `SpanMarker` to mark `continue` expressions.Zalathar-16/+8
2023-12-08coverage: Add `CoverageKind::SpanMarker` for including extra spans in MIRZalathar-0/+13
2023-12-04Don't include destruction scopes in THIRMatthew Jasper-111/+66
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-3/+3