Update compiler/rustc_const_eval/src/interpret/validity.rs

oli-obk · RalfJung · web-flow · commit 586145a074cb · 2024-04-16T15:32:20.000+02:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/compiler/rustc_const_eval/src/interpret/validity.rs b/compiler/rustc_const_eval/src/interpret/validity.rs
@@ -722,6 +722,10 @@ fn mutability<'mir, 'tcx: 'mir>(
                     }
                     _ => mutability,
                 };
+                // In case this allocation exists in our alloc_map (which means it is
+                // the static we are evaluating), sanity-check the mutability.
+                // We can't do this for other statics as their allocations are only
+                // available via the query.
                 if let Some((_, alloc)) = ecx.memory.alloc_map.get(alloc_id) {
                     assert_eq!(alloc.mutability, mutability);
                 }

Original file line number	Diff line number	Diff line change
`@@ -722,6 +722,10 @@ fn mutability<'mir, 'tcx: 'mir>(`
`722`	`722`	`}`
`723`	`723`	`_ => mutability,`
`724`	`724`	`};`
	`725`	`+ // In case this allocation exists in our alloc_map (which means it is`
	`726`	`+ // the static we are evaluating), sanity-check the mutability.`
	`727`	`+ // We can't do this for other statics as their allocations are only`
	`728`	`+ // available via the query.`
`725`	`729`	`if let Some((_, alloc)) = ecx.memory.alloc_map.get(alloc_id) {`
`726`	`730`	`assert_eq!(alloc.mutability, mutability);`
`727`	`731`	`}`