Skip to content

Commit 25a43c7

Browse files
committed
Auto merge of #1806 - RalfJung:rustup, r=RalfJung
rustup `@bors` r+
2 parents 0d87afe + 1bfd9ac commit 25a43c7

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
3396a383bb1d1fdad8ceeb74f16cf08e0bd62a1b
1+
3e99439f4dacc8ba0d2ca48d221694362d587927

src/machine.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -478,14 +478,14 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'mir, 'tcx> {
478478
let alloc = alloc.into_owned();
479479
let (stacks, base_tag) = if let Some(stacked_borrows) = &memory_extra.stacked_borrows {
480480
let (stacks, base_tag) =
481-
Stacks::new_allocation(id, alloc.size, Rc::clone(stacked_borrows), kind);
481+
Stacks::new_allocation(id, alloc.size(), Rc::clone(stacked_borrows), kind);
482482
(Some(stacks), base_tag)
483483
} else {
484484
// No stacks, no tag.
485485
(None, Tag::Untagged)
486486
};
487487
let race_alloc = if let Some(data_race) = &memory_extra.data_race {
488-
Some(data_race::AllocExtra::new_allocation(&data_race, alloc.size, kind))
488+
Some(data_race::AllocExtra::new_allocation(&data_race, alloc.size(), kind))
489489
} else {
490490
None
491491
};

0 commit comments

Comments
 (0)