fn eliminate<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>)Expand description
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.