fn eliminate<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) -> boolExpand 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.
Returns true if any instruction is eliminated.