Function process_rvalue 

fn process_rvalue<'tcx>(
    rvalue: &mut Rvalue<'tcx>,
    used_after: &mut DenseBitSet<Local>,
) -> ControlFlow<()>

Process the RHS of an assignment in a pure return tail.