Function call_destination 

pub fn call_destination<'tcx>(
    tcx: TyCtxt<'tcx>,
    checkpoint: &Checkpoint<'tcx>,
) -> Option<Local>

Return the destination local for a checkpoint’s call or deref.