Skip to content

Commit c3da843

Browse files
committed
we don't need zero-sized freeze-sensitive visiting
1 parent 12b8d43 commit c3da843

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/helpers.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -58,6 +58,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
5858
.map(|(size, _)| size)
5959
.unwrap_or_else(|| place.layout.size)
6060
);
61+
assert!(size.bytes() > 0);
6162
// Store how far we proceeded into the place so far. Everything to the left of
6263
// this offset has already been handled, in the sense that the frozen parts
6364
// have had `action` called on them.

0 commit comments

Comments
 (0)