Expand description
This module provides a pass that removes parts of MIR that are no longer relevant after
analysis phase and borrowck. In particular, it removes false edges, user type annotations and
replaces following statements with Nop
s:
AscribeUserType
FakeRead
Assign
statements with aFake
borrow