We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 2ae2764 + 5fd2f80 commit 73cdbafCopy full SHA for 73cdbaf
src/helpers.rs
@@ -611,7 +611,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
611
// `UnsafeCell` action.
612
(self.unsafe_cell_action)(v)
613
}
614
- Variants::Single { .. } => {
+ Variants::Single { .. } | Variants::Empty => {
615
// Proceed further, try to find where exactly that `UnsafeCell`
616
// is hiding.
617
self.walk_value(v)
0 commit comments