Module cleanup_post_borrowck 

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:

• AscribeUserType
• FakeRead
• Assign statements with a Fake borrow
• Coverage statements that are not needed after the InstrumentCoverage pass

Re-exports

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::adjustment::PointerCoercion; 🔒

use crate::PassPolicy; 🔒

use rustc_middle::mir::*; 🔒

Structs

CleanupPostBorrowck 🔒