make no-variant types a dedicated Variants variant

RalfJung · RalfJung · commit 35395af9190f · 2024-12-18T11:01:54.000+01:00
diff --git a/src/helpers.rs b/src/helpers.rs
@@ -605,7 +605,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                             // `UnsafeCell` action.
                             (self.unsafe_cell_action)(v)
                         }
-                        Variants::Single { .. } => {
+                        Variants::Single { .. } | Variants::Empty => {
                             // Proceed further, try to find where exactly that `UnsafeCell`
                             // is hiding.
                             self.walk_value(v)

Original file line number	Diff line number	Diff line change
`@@ -605,7 +605,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`605`	`605`	// `UnsafeCell` action.
`606`	`606`	`(self.unsafe_cell_action)(v)`
`607`	`607`	`}`
`608`		`- Variants::Single { .. } => {`
	`608`	`+ Variants::Single { .. } \| Variants::Empty => {`
`609`	`609`	// Proceed further, try to find where exactly that `UnsafeCell`
`610`	`610`	`// is hiding.`
`611`	`611`	`self.walk_value(v)`