Module rustc_mir::borrow_check::consumers

This file provides API for compiler consumers.

Re-exports

pub use super::facts::AllFacts as PoloniusInput;

pub use super::facts::RustcFacts;

pub use super::location::LocationTable;

pub use super::location::RichLocation;

pub use super::nll::PoloniusOutput;

pub use super::BodyWithBorrowckFacts;

Functions

get_body_with_borrowck_facts

This function computes Polonius facts for the given body. It makes a copy of the body because it needs to regenerate the region identifiers.