{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"self.mem_copy(src.ptr(),"}]}
        self.mem_copy(src.ptr(), dest.ptr(), dest_size, /*nonoverlapping*/ true)?;
        // If an access is both OOB and misaligned, we want to see the bounds error.
        self.check_misalign(src.mplace.misaligned, CheckAlignMsg::BasedOn)?;