Module borrowck_facts 

Polonius integration to extract borrowck facts from rustc.

Functions

enable_mir_simplification

get_body_with_borrowck_facts

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

override_queries

You must use this function in rustc_driver::Callbacks::config to call get_body_with_borrowck_facts.

simplify_mir

MIR pass to remove instructions not important for Flowistry.