about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/nll.rs
AgeCommit message (Expand)AuthorLines
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
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+1
2024-08-30add borrows to NLL MIR dumpsRémy Rakic-0/+13
2024-08-30refactor NLL MIR dump entry pointRémy Rakic-13/+21
2024-08-30enable extra comments in NLL MIR dumpsRémy Rakic-21/+40
2024-07-29Reformat `use` declarations.Nicholas Nethercote-20/+18
2024-06-26Restrict diagnostic context lifetime of mir borrowck to InferCtxt instead of ...Oli Scherer-5/+5
2024-06-26Split lifetimes on mir borrowck dataflowOli Scherer-1/+1
2024-06-24Auto merge of #126023 - amandasystems:you-dropped-this-again, r=nikomatsakisbors-1/+0
2024-06-05Remove confusing `use_polonius` flag and do less cloningAmanda Stjerna-1/+0
2024-05-29Stop proving outlives constraints on regions we already reported errors onOli Scherer-2/+12
2024-05-06BorrowckInferCtxt: infcx by valuelcnr-4/+4
2024-02-27Avoid a `span_delayed_bug` in `compute_regions`.Nicholas Nethercote-5/+2
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-2/+0
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-1/+1
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2024-02-02Remove dead args from functionsMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 13:26:51 +0000