Auto merge of #134499 - jieyouxu:rollup-zmaveur, r=jieyouxu

bors · bors · commit 3f945bb731d2 · 2024-12-19T11:25:43.000Z
Rollup of 7 pull requests

Successful merges:

 - #133702 (Variants::Single: do not use invalid VariantIdx for uninhabited enums)
 - #134427 (ci: remove duplicate task definition)
 - #134432 (Fix intra doc links not generated inside footnote definitions)
 - #134437 (reduce compiler `Assemble` complexity)
 - #134474 (Forbid overwriting types in typeck)
 - #134477 (move lint_unused_mut into sub-fn)
 - #134491 (Some destructor/drop related tweaks)

r? `@ghost`
`@rustbot` modify labels: rollup
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)`