miri: Directly use rustc_abi

[workingjubilee]

I tried to make this a PR to the miri repo for funsies. Ironically, the integration flow meant that it would use a too-old toolchain hash, and I didn't understand the build system there enough to want to manually fiddle with the hashes.

[rustbot]

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[rustbot]

The Miri subtree was changed

cc @rust-lang/miri

[RalfJung]

Oh I forgot this file even exists... I recently had to allow this lint for a use of Size, I suspect that was due to the other import being used.

[RalfJung]

LGTM, thanks!
r=me when CI is green.

r? @RalfJung

[saethlin]

@bors r=RalfJung

[bors]

📌 Commit a953b32 has been approved by RalfJung

It is now in the queue for this repository.

[bors]

⌛ Testing commit a953b32 with merge 00ed73c...

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 00ed73c to master...

[rust-timer]

Finished benchmarking commit (00ed73c): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

This is the most reliable metric that we have; it was used to determine the overall result at the top of this comment. However, even this metric can sometimes exhibit noise.

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

Max RSS (memory usage)

Results (primary -3.5%)

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)	-3.5%	[-3.6%, -3.3%]	2
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-3.5%	[-3.6%, -3.3%]	2

Cycles

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

Binary size

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

Bootstrap: 779.63s -> 780.047s (0.05%)
Artifact size: 335.35 MiB -> 335.36 MiB (0.00%)