about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/lib.rs
AgeCommit message (Expand)AuthorLines
2025-01-18Rollup merge of #134455 - lcnr:move-errors-in-promoteds, r=compiler-errorsMatthias Krüger-9/+9
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-3/+3
2025-01-08Auto merge of #135260 - matthiaskrgr:rollup-8irqs72, r=matthiaskrgrbors-4/+5
2025-01-08Rollup merge of #135250 - lqd:simple-cleanups, r=matthewjasperMatthias Krüger-4/+5
2025-01-08Try to explain borrow for tail expr temporary drop order change in 2024Michael Goulet-5/+14
2025-01-08Don't do AccessDepth::Drop for types with no drop implMichael Goulet-4/+12
2025-01-08remove an extraneous commentwieDasDing-1/+0
2025-01-08apply suggestions on fn nameDing Xiang Fei-4/+4
2025-01-08run borrowck tests on BIDs and emit tail-expr-drop-order lints forDing Xiang Fei-14/+65
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-4/+5
2025-01-08Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnrbors-0/+1
2025-01-06further clean up `best_blame_constraint`dianne-0/+1
2025-01-01remove borrowck duplicate of `std::ops::ControlFlow`Rémy Rakic-8/+8
2025-01-01remove `allow_two_phase_borrow`Rémy Rakic-2/+2
2025-01-01remove empty `util` moduleRémy Rakic-1/+0
2024-12-30rename `diags` fieldRémy Rakic-5/+12
2024-12-30clean up `BorrowckDiags`Rémy Rakic-4/+5
2024-12-30merge `diags` module into `diagnostics`Rémy Rakic-145/+4
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-3/+1
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-2/+1
2024-12-30fix a couple nitsRémy Rakic-4/+3
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-0/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+2
2024-12-22Delete `Rvalue::Len`Scott McMurray-8/+2
2024-12-21Auto merge of #134268 - lqd:polonius-next, r=jackh726bors-0/+11
2024-12-20cleanup promoteds move checklcnr-9/+9
2024-12-18move lint_unused_mut into subfnlcnr-29/+33
2024-12-18address review commentsRémy Rakic-1/+1
2024-12-18introduce beginnings of polonius MIR dumpRémy Rakic-0/+10
2024-12-18set up skeleton for localized constraints conversionRémy Rakic-0/+1
2024-12-17move variable initializationlcnr-7/+4
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-3/+3
2024-12-10Rename `EntrySets` as `EntryStates`.Nicholas Nethercote-6/+6
2024-12-10Remove lifetimes from `BorrowckDomain`.Nicholas Nethercote-25/+16
2024-12-05Change `ChunkedBitSet<MovePathIndex>`s to `MixedBitSet`.Nicholas Nethercote-2/+2
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+2
2024-11-19Pass `flow_inits` by value.Nicholas Nethercote-6/+2
2024-11-19Put `param_env` into `infcx`.Nicholas Nethercote-8/+4
2024-11-19Compute `upvars` lazily.Nicholas Nethercote-1/+0
2024-11-05Remove `ResultsVisitable`.Nicholas Nethercote-10/+6
2024-11-05Replace `BorrowckResults` with `Borrowck`.Nicholas Nethercote-30/+49
2024-11-04`BorrowckDiags` tweaks.Nicholas Nethercote-13/+5
2024-11-04Tidy up comments and some formatting.Nicholas Nethercote-19/+15
2024-11-04Move some `use` declarations.Nicholas Nethercote-13/+12
2024-11-04Reduce visibilities.Nicholas Nethercote-2/+2
2024-11-02compiler: Replace rustc_target with _abi in _borrowckJubilee Young-1/+1
2024-10-30Rollup merge of #132338 - nnethercote:rm-Engine, r=nnethercoteMatthias Krüger-15/+16
2024-10-30Remove `Analysis::into_engine`.Nicholas Nethercote-15/+16
2024-10-29TypingMode :thinking:lcnr-2/+2