Function destination_stride 

fn destination_stride<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    destination: Option<Local>,
) -> Option<u64>

Return the byte stride for a pointer returned into destination.