Struct rustc_borrowck::consumers::BodyWithBorrowckFacts

pub struct BodyWithBorrowckFacts<'tcx> {
    pub body: Body<'tcx>,
    pub promoted: IndexVec<Promoted, Body<'tcx>>,
    pub borrow_set: Rc<BorrowSet<'tcx>>,
    pub region_inference_context: Rc<RegionInferenceContext<'tcx>>,
    pub location_table: Option<LocationTable>,
    pub input_facts: Option<Box<PoloniusInput>>,
    pub output_facts: Option<Rc<PoloniusOutput>>,
}

A Body with information computed by the borrow checker. This struct is intended to be consumed by compiler consumers.

We need to include the MIR body here because the region identifiers must match the ones in the Polonius facts.

Fields

body: Body<'tcx>

A mir body that contains region identifiers.

promoted: IndexVec<Promoted, Body<'tcx>>

The mir bodies of promoteds.

borrow_set: Rc<BorrowSet<'tcx>>

The set of borrows occurring in body with data about them.

region_inference_context: Rc<RegionInferenceContext<'tcx>>

Context generated during borrowck, intended to be passed to calculate_borrows_out_of_scope_at_location.

location_table: Option<LocationTable>

The table that maps Polonius points to locations in the table. Populated when using ConsumerOptions::PoloniusInputFacts or ConsumerOptions::PoloniusOutputFacts.

input_facts: Option<Box<PoloniusInput>>

Polonius input facts. Populated when using ConsumerOptions::PoloniusInputFacts or ConsumerOptions::PoloniusOutputFacts.

output_facts: Option<Rc<PoloniusOutput>>

Polonius output facts. Populated when using ConsumerOptions::PoloniusOutputFacts.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 480 bytes