Let Miri see the AllocId for all TyCtxt allocations

[saethlin]

Per rust-lang/miri#3103 (comment)

r? @RalfJung

[rustbot]

Some changes occurred to the CTFE / Miri engine

cc @rust-lang/miri

[RalfJung]

r=me with the comment nit

[saethlin]

@bors r=RalfJung

[bors]

📌 Commit d7cecd3 has been approved by RalfJung

It is now in the queue for this repository.

[RalfJung]

@bors rollup

[bors]

⌛ Testing commit d7cecd3 with merge 0ea7ddc...

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 0ea7ddc to master...

[rust-timer]

Finished benchmarking commit (0ea7ddc): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	0.9%	[0.8%, 1.0%]	2
Regressions ❌ (secondary)	2.2%	[2.2%, 2.2%]	1
Improvements ✅ (primary)	-2.0%	[-2.0%, -2.0%]	1
Improvements ✅ (secondary)	-2.7%	[-2.7%, -2.7%]	1
All ❌✅ (primary)	-0.0%	[-2.0%, 1.0%]	3

Cycles

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.6%	[-2.6%, -2.6%]	1
All ❌✅ (primary)	-	-	0

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 676.569s -> 674.025s (-0.38%)
Artifact size: 313.63 MiB -> 313.64 MiB (0.01%)