bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Return promoteds in BodyWithBorrowckFacts

Browse source
This commit is contained in:
Dominik Stolz 2023-05-17 16:07:01 +02:00
parent 388071a2cb
commit 0e44a38892
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_borrowck/src/lib.rs
View file

@ -447,6 +447,7 @@ fn do_mir_borrowck<'tcx>(
let output_facts = mbcx.polonius_output; let output_facts = mbcx.polonius_output;
Some(Box::new(BodyWithBorrowckFacts { Some(Box::new(BodyWithBorrowckFacts {
body: body_owned, body: body_owned,
promoted,
borrow_set, borrow_set,
region_inference_context: regioncx, region_inference_context: regioncx,
location_table: polonius_input.as_ref().map(|_| location_table_owned), location_table: polonius_input.as_ref().map(|_| location_table_owned),
@ -470,6 +471,8 @@ fn do_mir_borrowck<'tcx>(
pub struct BodyWithBorrowckFacts<'tcx> { pub struct BodyWithBorrowckFacts<'tcx> {
/// A mir body that contains region identifiers. /// A mir body that contains region identifiers.
pub body: Body<'tcx>, pub body: Body<'tcx>,
/// The mir bodies of promoteds.
pub promoted: IndexVec<Promoted, Body<'tcx>>,
/// The set of borrows occurring in `body` with data about them. /// The set of borrows occurring in `body` with data about them.
pub borrow_set: Rc<BorrowSet<'tcx>>, pub borrow_set: Rc<BorrowSet<'tcx>>,
/// Context generated during borrowck, intended to be passed to /// Context generated during borrowck, intended to be passed to