about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/nll.rs
AgeCommit message (Expand)AuthorLines
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-2/+2
2023-12-02Auto merge of #118470 - nnethercote:cleanup-error-handlers, r=compiler-errorsbors-3/+3
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-12-02Rename `Handler::span_note_diag` as `struct_span_note`.Nicholas Nethercote-2/+2
2023-12-01move and maintain live loans in `LivenessValues`Rémy Rakic-21/+16
2023-12-01Auto merge of #118216 - lqd:constraint-generation-non-non, r=matthewjasperbors-137/+15
2023-11-26Remove Upvar duplicationMark Rousskov-2/+2
2023-11-26move remaining legacy polonius fact generation out of NLL moduleRémy Rakic-22/+6
2023-11-26merge NLL "constraint generation" into livenessRémy Rakic-3/+1
2023-11-26remove polonius fact generation from NLL constraint generationRémy Rakic-8/+1
2023-11-26simplify polonius constraint generationRémy Rakic-1/+1
2023-11-26remove NLL liveness from polonius constraint generationRémy Rakic-1/+0
2023-11-26extract polonius "constraint generation"Rémy Rakic-0/+8
2023-11-26another trivial cleanupRémy Rakic-3/+2
2023-11-26extract polonius loan invalidations fact generationRémy Rakic-4/+8
2023-11-26extract polonius universal regions fact generationRémy Rakic-34/+5
2023-11-26extract polonius move fact generationRémy Rakic-85/+7
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-6/+6
2023-10-05compute NLL loan scopes with liveness in `-Zpolonius=next`Rémy Rakic-16/+21
2023-10-04introduce `Polonius` enum for `-Zpolonius`Rémy Rakic-2/+3
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-1/+5
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-3/+3
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-23Allow consumers to retrieve borrowck outputJonáš Fiala-4/+9
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-2/+2
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+2
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-22Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjaybors-1/+1
2023-04-21Clone region var origins instead of taking in borrowckMichael Goulet-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-1/+1
2023-04-16Various minor Idx-related tweaksScott McMurray-4/+4
2023-04-13Remove `ToRegionVid`.Nicholas Nethercote-16/+1
2023-04-13Remove `impl ToRegionVid for RegionVid`.Nicholas Nethercote-6/+0
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-3/+3
2023-03-17Remove VecMapMichael Goulet-3/+3
2023-03-04tweak debug output and bless testsAli MJ Al-Nasrawy-14/+18
2023-02-19some conditional importsb-naber-5/+0
2023-02-19sccs infob-naber-0/+1
2023-02-19collect region contexts during mir renumberingb-naber-6/+10
2023-01-30session: diagnostic migration lint on more fnsDavid Wood-0/+2
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2022-12-01Create `format_args` as late as possibleOli Scherer-6/+4
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-1/+4
2022-11-09lint auto passAndyJado-0/+2
2022-11-05simplify applying closure requirementsAli MJ Al-Nasrawy-2/+0
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-7/+7
2022-09-13Use def_span for external requirements.Camille GILLOT-2/+3
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-3/+3
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-2/+2
2022-06-15implement (unused) matching solverNiko Matsakis-1/+1