Rollup merge of rust-lang#144169 - RalfJung:type-id-fix, r=oli-obk

matthiaskrgr · web-flow · commit a844529ccdf5 · 2025-07-20T08:56:10.000+02:00
interpret: fix TypeId pointers being considered data pointers Fixes rust-lang/miri#4477 r? ````@oli-obk````
diff --git a/core/src/any.rs b/core/src/any.rs
@@ -783,7 +783,7 @@ impl TypeId {
 
         // This is a provenance-stripping memcpy.
         for (i, chunk) in self.data.iter().copied().enumerate() {
-            let chunk = chunk.expose_provenance().to_ne_bytes();
+            let chunk = chunk.addr().to_ne_bytes();
             let start = i * chunk.len();
             bytes[start..(start + chunk.len())].copy_from_slice(&chunk);
         }

Original file line number	Diff line number	Diff line change
`@@ -783,7 +783,7 @@ impl TypeId {`
`783`	`783`
`784`	`784`	`// This is a provenance-stripping memcpy.`
`785`	`785`	`for (i, chunk) in self.data.iter().copied().enumerate() {`
`786`		`- let chunk = chunk.expose_provenance().to_ne_bytes();`
	`786`	`+ let chunk = chunk.addr().to_ne_bytes();`
`787`	`787`	`let start = i * chunk.len();`
`788`	`788`	`bytes[start..(start + chunk.len())].copy_from_slice(&chunk);`
`789`	`789`	`}`