about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/consumers.rs
AgeCommit message (Expand)AuthorLines
2025-07-08Expose nested bodies in rustc_borrowck::consumersNico Lehmann-24/+57
2025-04-08borrowck typeck children together with their parentlcnr-2/+4
2025-04-01call `mir_promoted` inside of `do_mir_borrowck`lcnr-5/+2
2025-01-08rename `AllFacts` to `PoloniusFacts`Rémy Rakic-1/+1
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-4/+4
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-3/+4
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-1/+1
2024-12-11Make some types and methods related to Polonius + Miri public.Will Crichton-2/+2
2024-10-04Avoid `Rc` in `BodyWithBorrowckFacts`.Nicholas Nethercote-4/+2
2024-10-04Use `Box` instead of `Rc` for `polonius_output`.Nicholas Nethercote-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-12/+10
2024-05-06BorrowckInferCtxt: infcx by valuelcnr-3/+1
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-2/+1
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-1/+1
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2023-08-19Fix redundant explicit link in rustc_borrowckKyle Lin-1/+1
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
2023-05-23Add RegionInferenceContext::outlives_constraintsDominik Stolz-0/+1
2023-05-23Move BodyWithBorrowckFacts to consumersDominik Stolz-3/+33
2023-05-23Make place helpers accessibleDominik Stolz-0/+2
2023-05-23Allow consumers to retrieve borrowck outputJonáš Fiala-6/+50
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-6/+3
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-2/+2
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-3/+3
2022-11-09lint auto passAndyJado-0/+2
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-5/+4
2022-07-20take opaq typesouz-a-2/+2
2021-10-06Add InferCtxt::with_opaque_type_inference to get_body_with_borrowck_factsWill Crichton-1/+1
2021-09-15Allow call to get_body_with_borrowck_facts without -Z poloniusWill Crichton-3/+3
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+39