about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius
AgeCommit message (Collapse)AuthorLines
2023-11-26move remaining legacy polonius fact generation out of NLL moduleRémy Rakic-18/+40
2023-11-26small polish of loan invalidations fact generationRémy Rakic-22/+12
2023-11-26rename polonius constraint generation to what it actually does: emit loan killsRémy Rakic-28/+20
2023-11-26simplify polonius constraint generationRémy Rakic-106/+82
2023-11-26remove NLL liveness from polonius constraint generationRémy Rakic-80/+7
2023-11-26extract polonius "constraint generation"Rémy Rakic-2/+272
to help review, this duplicates the existing NLL + polonius constraint generation component, before splitting them up to only do what they individually need.
2023-11-26extract polonius loan invalidations fact generationRémy Rakic-0/+582
and move the polonius module to the borrowck root
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-23 04:13:28 +0000