Struct rustc_borrowck::BodyWithBorrowckFacts

pub struct BodyWithBorrowckFacts<'tcx> {
    pub body: Body<'tcx>,
    pub input_facts: AllFacts,
    pub output_facts: Rc<PoloniusOutput>,
    pub location_table: LocationTable,
}

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.

input_facts: AllFacts

Polonius input facts.

output_facts: Rc<PoloniusOutput>

Polonius output facts.

location_table: LocationTable

The table that maps Polonius points to locations in the table.

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: 704 bytes