about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/nll.rs
AgeCommit message (Expand)AuthorLines
2025-08-08borrowck: defer opaque type errorslcnr-5/+0
2025-08-07move `type_check` out of `compute_regions`lcnr-34/+12
2025-07-08Expose nested bodies in rustc_borrowck::consumersNico Lehmann-4/+2
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-2/+2
2025-06-05Auto merge of #140466 - amandasystems:move-to-preprocessing-step, r=lcnrbors-3/+14
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-2/+2
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-3/+14
2025-05-27move `MaybeInitializedPlaces` computation to where it's usedRémy Rakic-5/+1
2025-04-11eagerly initialize `definitions` in sub-fnlcnr-12/+2
2025-04-11do not buffer `#[rustc_regions]` dumplcnr-5/+2
2025-04-08move `ClosureRegionRequirements` to `rustc_borrowck`lcnr-5/+5
2025-04-08borrowck typeck children together with their parentlcnr-13/+6
2025-03-26Add environment variable tracking in places where it was convenientMads Marquart-4/+3
2025-03-19merge opaque types of nested bodieslcnr-9/+11
2025-01-31record boring locals in polonius contextRémy Rakic-1/+1
2025-01-31create context for errors and diagnostics for last borrowck phaseRémy Rakic-5/+6
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-1/+1
2025-01-12introduce reachability to the constraint graphRémy Rakic-5/+5
2025-01-08rename `AllFacts` to `PoloniusFacts`Rémy Rakic-10/+12
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-2/+2
2025-01-08stop calling `DenseLocationMap` "elements"Rémy Rakic-3/+3
2025-01-01localize typeck constraintsRémy Rakic-3/+3
2024-12-30rename `diags` fieldRémy Rakic-2/+2
2024-12-30clean up `BorrowckDiags`Rémy Rakic-2/+2
2024-12-30merge `diags` module into `diagnostics`Rémy Rakic-2/+2
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-4/+1
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-1/+1
2024-12-30fix a couple nitsRémy Rakic-2/+2
2024-12-29introduce polonius contextRémy Rakic-19/+20
2024-12-18address review commentsRémy Rakic-10/+7
2024-12-18extract main NLL MIR dump functionRémy Rakic-34/+46
2024-12-18set up skeleton for localized constraints conversionRémy Rakic-0/+17
2024-12-18Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxubors-1/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-12-15simplify `emit_outlives_facts`Rémy Rakic-0/+1
2024-12-14move datalog fact generation into a legacy moduleRémy Rakic-1/+1
2024-11-19Pass `flow_inits` by value.Nicholas Nethercote-1/+1
2024-11-19Put `param_env` into `infcx`.Nicholas Nethercote-5/+2
2024-11-19Pass `constraints` to `RegionInferenceContext::new`.Nicholas Nethercote-26/+2
2024-11-19Don't refcount `PlaceholderIndices`.Nicholas Nethercote-1/+0
2024-11-19Compute `upvars` lazily.Nicholas Nethercote-2/+0
2024-11-19Clean up `UniversalRegions`.Nicholas Nethercote-6/+2
2024-10-28fix clippy::clone_on_ref_ptr for compilerklensy-2/+2
2024-10-12yeet some clonesMatthias Krüger-1/+1
2024-10-04Avoid `&Rc<T>` arguments.Nicholas Nethercote-4/+4
2024-10-04Use `Box` instead of `Rc` for `polonius_output`.Nicholas Nethercote-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-09Rename some lifetimes.Nicholas Nethercote-3/+3
2024-09-09Remove unnecessary lifetimes in dataflow structs.Nicholas Nethercote-2/+2
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+1