fn eliminate<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>)
Expand description
Performs the optimization on the body
The borrowed
set must be a DenseBitSet
of all the locals that are ever borrowed in this
body. It can be generated via the borrowed_locals
function.