about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/facts.rs
AgeCommit message (Collapse)AuthorLines
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-251/+0
this is specific to the old datalog implementation and wasn't noticed in the previous module move
2024-12-30simplify `add_extra_drop_facts`Rémy Rakic-1/+1
this is mostly to remove imports of the polonius legacy module also what is going on in this function, what the...
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-1/+1
this is specific to the old datalog implementation and wasn't noticed in the previous module move
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
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
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
That is, change `diagnostic_outside_of_impl` and `untranslatable_diagnostic` from `allow` to `deny`, because more than half of the compiler has be converted to use translated diagnostics. This commit removes more `deny` attributes than it adds `allow` attributes, which proves that this change is warranted.
2023-10-04introduce `Polonius` enum for `-Zpolonius`Rémy Rakic-1/+2
this allows to opt into using the legacy version or the in-tree prototype
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
r? @WaffleLapkin
2023-04-16Various minor Idx-related tweaksScott McMurray-3/+2
Nothing particularly exciting here, but a couple of things I noticed as I was looking for more index conversions to simplify.
2023-01-06Use fmt named parameters in rustc_borrowckwcampbell-1/+1
2022-11-09lint auto passAndyJado-0/+2
Revert "lint auto pass" This reverts commit e58e4466384924c491a932d3f18ef50ffa5a5065.
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`). Rename it to be more clear.
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