about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/facts.rs
AgeCommit message (Expand)AuthorLines
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-251/+0
2024-12-30simplify `add_extra_drop_facts`Rémy Rakic-1/+1
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-1/+1
2024-09-24Dogfood `feature(file_buffered)`Josh Stone-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-8/+9
2024-06-30Remove usage of specialization from rustc_borrowckbjorn3-2/+26
2024-05-20Uplift RegionVidMichael Goulet-2/+25
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-12/+3
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2023-10-04introduce `Polonius` enum for `-Zpolonius`Rémy Rakic-1/+2
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
2023-04-16Various minor Idx-related tweaksScott McMurray-3/+2
2023-01-06Use fmt named parameters in rustc_borrowckwcampbell-1/+1
2022-11-09lint auto passAndyJado-0/+2
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-1/+1
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+212