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 3eea5b8 + 73cdbaf commit 252e4bbCopy full SHA for 252e4bb
rust-version
@@ -1 +1 @@
1
-52890e82153cd8716d97a96f47fb6ac99dec65be
+214587c89d527dd0ccbe1f2150c737d3bdee67b0
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