| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-01 | use defining uses of all bodies to constrain non-defining uses | lcnr | -9/+2 | |
| support non-defining uses in closures | ||||
| 2025-07-08 | Expose nested bodies in rustc_borrowck::consumers | Nico Lehmann | -24/+57 | |
| 2025-04-08 | borrowck typeck children together with their parent | lcnr | -2/+4 | |
| 2025-04-01 | call `mir_promoted` inside of `do_mir_borrowck` | lcnr | -5/+2 | |
| 2025-01-08 | rename `AllFacts` to `PoloniusFacts` | Rémy Rakic | -1/+1 | |
| This is another strangely named struct (and associated fields) that is hard to see was related to datalog polonius. | ||||
| 2025-01-08 | rename `LocationTable` to `PoloniusLocationTable` | Rémy Rakic | -4/+4 | |
| Its original naming hides the fact that it's related to datalog polonius, and bound to be deleted in the near future. It also conflicts with the expected name for the actual NLL location map, and prefixing it with its use will make the differentiation possible. | ||||
| 2024-12-30 | move `facts` module to polonius legacy module | Rémy Rakic | -3/+4 | |
| this is specific to the old datalog implementation and wasn't noticed in the previous module move | ||||
| 2024-12-30 | move `location` module to polonius legacy module | Rémy Rakic | -1/+1 | |
| this is specific to the old datalog implementation and wasn't noticed in the previous module move | ||||
| 2024-12-11 | Make some types and methods related to Polonius + Miri public. | Will Crichton | -2/+2 | |
| 2024-10-04 | Avoid `Rc` in `BodyWithBorrowckFacts`. | Nicholas Nethercote | -4/+2 | |
| It can own these two fields. | ||||
| 2024-10-04 | Use `Box` instead of `Rc` for `polonius_output`. | Nicholas Nethercote | -1/+1 | |
| Refcounting isn't needed. | ||||
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -2/+2 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -12/+10 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-05-06 | BorrowckInferCtxt: infcx by value | lcnr | -3/+1 | |
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -2/+1 | |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be ↵ | Oli Scherer | -1/+1 | |
| constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely | ||||
| 2024-02-06 | Invert 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-08-19 | Fix redundant explicit link in rustc_borrowck | Kyle Lin | -1/+1 | |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -1/+2 | |
| 2023-05-23 | Add RegionInferenceContext::outlives_constraints | Dominik Stolz | -0/+1 | |
| 2023-05-23 | Move BodyWithBorrowckFacts to consumers | Dominik Stolz | -3/+33 | |
| 2023-05-23 | Make place helpers accessible | Dominik Stolz | -0/+2 | |
| 2023-05-23 | Allow consumers to retrieve borrowck output | Jonáš Fiala | -6/+50 | |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -1/+1 | |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -6/+3 | |
| 2023-04-02 | Use `&IndexSlice` instead of `&IndexVec` where possible | Scott McMurray | -2/+2 | |
| All the same reasons as for `[T]`: more general, less pointer chasing, and `&mut IndexSlice` emphasizes that it doesn't change *length*. | ||||
| 2023-01-11 | Change `src/test` to `tests` in source files, fix tidy and tests | Albert Larsan | -1/+1 | |
| 2022-12-20 | rustc: Remove needless lifetimes | Jeremy Stucki | -3/+3 | |
| 2022-11-09 | lint auto pass | AndyJado | -0/+2 | |
| Revert "lint auto pass" This reverts commit e58e4466384924c491a932d3f18ef50ffa5a5065. | ||||
| 2022-10-07 | Change InferCtxtBuilder from enter to build | Cameron Steffen | -5/+4 | |
| 2022-07-20 | take opaq types | ouz-a | -2/+2 | |
| 2021-10-06 | Add InferCtxt::with_opaque_type_inference to get_body_with_borrowck_facts | Will Crichton | -1/+1 | |
| 2021-09-15 | Allow call to get_body_with_borrowck_facts without -Z polonius | Will Crichton | -3/+3 | |
| 2021-09-07 | Move rustc_mir::borrow_check to new crate rustc_borrowck. | Camille GILLOT | -0/+39 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |