Skip to content

Commit 877e9eb

Browse files
authored
Merge pull request #4246 from RalfJung/freeze-sensitive-comment
visit_freeze_sensitive: add comment
2 parents 4862a57 + e8f0374 commit 877e9eb

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/helpers.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -602,6 +602,9 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
602602
// We want to not actually read from memory for this visit. So, before
603603
// walking this value, we have to make sure it is not a
604604
// `Variants::Multiple`.
605+
// FIXME: the current logic here is layout-dependent, so enums with
606+
// multiple variants where all but 1 are uninhabited will be recursed into.
607+
// Is that truly what we want?
605608
match v.layout.variants {
606609
Variants::Multiple { .. } => {
607610
// A multi-variant enum, or coroutine, or so.

0 commit comments

Comments
 (0)