Skip to content

Commit 010f2dc

Browse files
committed
Merge from rustc
2 parents 3f96b86 + 0dc9d38 commit 010f2dc

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/machine.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -777,10 +777,11 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> {
777777

778778
type Provenance = Provenance;
779779
type ProvenanceExtra = ProvenanceExtra;
780+
type Bytes = Box<[u8]>;
780781

781782
type MemoryMap = MonoHashMap<
782783
AllocId,
783-
(MemoryKind<MiriMemoryKind>, Allocation<Provenance, Self::AllocExtra>),
784+
(MemoryKind<MiriMemoryKind>, Allocation<Provenance, Self::AllocExtra, Self::Bytes>),
784785
>;
785786

786787
const GLOBAL_KIND: Option<MiriMemoryKind> = Some(MiriMemoryKind::Global);

0 commit comments

Comments
 (0)