Skip to content

Commit d83bcbd

Browse files
committed
Auto merge of #956 - rust-lang:rustup-retag, r=RalfJung
rustup for retag rename This is the Miri side of rust-lang/rust#64503. Do not force-push!
2 parents 44ca0f6 + d610d9d commit d83bcbd

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
a44881d892fb4f4a8ed93f8f392bab942fac7a41
1+
64c09694a6ecc434cd3a61ade89beb1de17770c5

src/machine.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -287,7 +287,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'tcx> {
287287
(Some(stacks), base_tag)
288288
};
289289
let mut stacked_borrows = memory_extra.stacked_borrows.borrow_mut();
290-
let alloc: Allocation<Tag, Self::AllocExtra> = alloc.retag(
290+
let alloc: Allocation<Tag, Self::AllocExtra> = alloc.with_tags_and_extra(
291291
|alloc| if !memory_extra.validate {
292292
Tag::Untagged
293293
} else {

0 commit comments

Comments
 (0)