about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs
AgeCommit message (Expand)AuthorLines
2025-09-16Remove Rvalue::Len.Camille Gillot-7/+2
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-1/+8
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+4
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-11/+10
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-2/+7
2025-01-08rename `AllFacts` to `PoloniusFacts`Rémy Rakic-3/+3
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-3/+3
2025-01-01remove borrowck duplicate of `std::ops::ControlFlow`Rémy Rakic-2/+4
2025-01-01remove `allow_two_phase_borrow`Rémy Rakic-2/+2
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-2/+1
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-1/+1
2024-12-22Delete `Rvalue::Len`Scott McMurray-7/+2
2024-12-15improve consistency within fact genRémy Rakic-8/+8
2024-12-14move datalog fact generation into a legacy moduleRémy Rakic-0/+440