about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius/legacy
AgeCommit message (Expand)AuthorLines
2025-09-16Remove Rvalue::Len.Camille Gillot-7/+2
2025-08-09remove some unused private trait implsDeadbeef-16/+0
2025-07-05use `is_multiple_of` instead of manual moduloFolkert de Vries-1/+1
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-1/+1
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-3/+3
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-21/+21
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-32/+32
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-7/+258
2024-12-30simplify `add_extra_drop_facts`Rémy Rakic-1/+8
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-4/+112
2024-12-22Delete `Rvalue::Len`Scott McMurray-7/+2
2024-12-15improve consistency within fact genRémy Rakic-46/+44
2024-12-15simplify `emit_outlives_facts`Rémy Rakic-6/+5
2024-12-15simplify `emit_access_facts` and fact generationRémy Rakic-50/+21
2024-12-15use let else more consistently in fact generationRémy Rakic-49/+43
2024-12-15clean up `translate_outlives_facts`Rémy Rakic-0/+33
2024-12-15clean up `emit_drop_facts`Rémy Rakic-2/+22
2024-12-15clean up `emit_access_facts`Rémy Rakic-0/+109
2024-12-14move datalog fact generation into a legacy moduleRémy Rakic-0/+773
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 11:47:15 +0000