Add comment in compiler/rustc_const_eval/src/interpret/memory.rs

Strophox · RalfJung · web-flow · commit f64d3c7fad3b · 2024-11-26T14:56:11.000+01:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/compiler/rustc_const_eval/src/interpret/memory.rs b/compiler/rustc_const_eval/src/interpret/memory.rs
@@ -966,6 +966,7 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
                 continue;
             }
 
+            // Expose all provenances in this allocation, and add them to `todo`.
             let alloc = self.get_alloc_raw(id)?;
             for prov in alloc.provenance().provenances() {
                 M::expose_provenance(self, prov)?;

Original file line number	Diff line number	Diff line change
`@@ -966,6 +966,7 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {`
`966`	`966`	`continue;`
`967`	`967`	`}`
`968`	`968`
	`969`	+ // Expose all provenances in this allocation, and add them to `todo`.
`969`	`970`	`let alloc = self.get_alloc_raw(id)?;`
`970`	`971`	`for prov in alloc.provenance().provenances() {`
`971`	`972`	`M::expose_provenance(self, prov)?;`