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 Nops:
AscribeUserTypeFakeReadAssignstatements with aFakeborrowCoveragestatements of kindBlockMarkerorSpanMarker