pub 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.