Expand description
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].