Function get_body_with_borrowck_facts

pub fn get_body_with_borrowck_facts<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: LocalDefId,
) -> &'tcx BodyWithBorrowckFacts<'tcx>

Gets the MIR body and Polonius-generated borrowck facts for a given LocalDefId.

For this function to work, you MUST add override_queries to the rustc_interface::Config inside of your rustc_driver::Callbacks. For example, see example.rs.

Note that as of May 2022, Polonius can be very slow for large functions. It may take up to 30 seconds to analyze a single body with a large CFG.