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.