Function rustc_mir_transform::dead_store_elimination::eliminate

pub fn eliminate<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &mut Body<'tcx>,
    borrowed: &BitSet<Local>
)

Performs the optimization on the body

The borrowed set must be a BitSet of all the locals that are ever borrowed in this body. It can be generated via the borrowed_locals function.