Module rustc_utils::mir::borrowck_facts

Polonius integration to extract borrowck facts from rustc.

Structs

• SimplifyMir
  MIR pass to remove instructions not important for Flowistry.

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.