Module borrowck_facts

Polonius integration to extract borrowck facts from rustc.

Constants

• MIR_BODIES
  See [CacheKey] for safety info

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.