about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/lib.rs
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-1/+1
2025-10-02Auto merge of #147055 - beepster4096:subtype_is_not_a_projection, r=lcnrbors-4/+0
2025-09-30Split Bound into Canonical and Boundjackh726-1/+1
2025-09-29more renameBoxy Uwu-2/+5
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-5/+2
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-4/+0
2025-09-18Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmannStuart Cook-2/+2
2025-09-17Remove `DynKind`León Orell Valerian Liehr-2/+2
2025-09-16Remove Rvalue::Len.Camille Gillot-2/+1
2025-09-01use defining uses of all bodies to constrain non-defining useslcnr-33/+84
2025-08-22change HIR typeck unification handling approachlcnr-4/+10
2025-08-20handle opaque types before region inferencelcnr-5/+14
2025-08-08borrowck: defer opaque type errorslcnr-2/+6
2025-08-07move `type_check` out of `compute_regions`lcnr-4/+41
2025-07-08Expose nested bodies in rustc_borrowck::consumersNico Lehmann-24/+19
2025-06-22Init local_names lazily for borrowck diagnosticsKornel-25/+5
2025-06-13use `MixedBitSet` for borrows-in-scope computationRémy Rakic-3/+3
2025-06-05Auto merge of #140466 - amandasystems:move-to-preprocessing-step, r=lcnrbors-0/+1
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-1/+1
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-0/+1
2025-05-27move `MaybeInitializedPlaces` computation to where it's usedRémy Rakic-8/+1
2025-05-12update cfg(bootstrap)Pietro Albini-1/+0
2025-05-07Auto merge of #140751 - GuillaumeGomez:rollup-eahw4ta, r=GuillaumeGomezbors-12/+14
2025-05-07Rollup merge of #140234 - nnethercote:separate-Analysis-and-Results, r=davidtwcoGuillaume Gomez-12/+14
2025-05-02borrowck nested items in dead codelcnr-0/+8
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-1/+8
2025-04-25Rollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnrMatthias Krüger-1/+1
2025-04-24Separate `Analysis` and `Results`.Nicholas Nethercote-9/+11
2025-04-24Pass `Analysis` to `visit_*` instead of `Results`.Nicholas Nethercote-3/+3
2025-04-23Make #![feature(let_chains)] bootstrap conditional in compiler/est31-1/+1
2025-04-22Remove unnecessary lifetime on `ResultsVisitor`.Nicholas Nethercote-6/+6
2025-04-14Rollup merge of #139767 - compiler-errors:www, r=oli-obkMatthias Krüger-1/+1
2025-04-14Auto merge of #139781 - jhpratt:rollup-qadsjvb, r=jhprattbors-84/+63
2025-04-14Auto merge of #124141 - nnethercote:rm-Nonterminal-and-TokenKind-Interpolated...bors-1/+0
2025-04-13Visit place in BackwardIncompatibleDropHint statementMichael Goulet-1/+1
2025-04-11don't rely on `locals_are_invalidated_at_exit`lcnr-32/+24
2025-04-11move `dump_polonius_mir`lcnr-10/+8
2025-04-11`MirBorrowckCtxt::polonius_output` to reflcnr-6/+4
2025-04-11do not buffer `#[rustc_regions]` dumplcnr-2/+2
2025-04-11`local_names` creation to `mbcx` creationlcnr-20/+20
2025-04-11use input `def_id` to compute `movable_coroutine`lcnr-11/+2
2025-04-11consistent name for `UniversalRegions`lcnr-2/+2
2025-04-08add negative impllcnr-4/+8
2025-04-08move `ClosureRegionRequirements` to `rustc_borrowck`lcnr-1/+138
2025-04-08borrowck typeck children together with their parentlcnr-49/+68
2025-04-03add `TypingMode::Borrowck`lcnr-31/+7
2025-04-02Remove `recursion_limit` increases.Nicholas Nethercote-1/+0
2025-04-01simplify Interner opaque types APIlcnr-1/+2
2025-04-01call `mir_promoted` inside of `do_mir_borrowck`lcnr-9/+7
2025-03-19merge opaque types of nested bodieslcnr-3/+4