Module mir

Utilities for MIR-level data structures.

Modules

• adt_def
  Utilities for AdtDef.
• body
  Utilities for Body.
• borrowck_facts
  Polonius integration to extract borrowck facts from rustc.
• control_dependencies
  An algorithm to compute control-dependencies between MIR blocks.
• location_or_arg
• mutability
  Utilities for [Mutability].
• operand
  Utilities for Operand.
• place
  Utilities for Place.