update Miri

[RalfJung]

and run mir-opt-level=4 tests in rustc CI so issues like #111422 are caught before they land.

r? @oli-obk due to the bootstrap changes

[rustbot]

The Miri subtree was changed

cc @rust-lang/miri

[oli-obk]

@bors r+

[bors]

📌 Commit 18fd17d has been approved by oli-obk

It is now in the queue for this repository.

[oli-obk]

@bors rollup=never

[bors]

⌛ Testing commit 18fd17d with merge 7d59fa3...

[bors]

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 7d59fa3 to master...

[rust-timer]

Finished benchmarking commit (7d59fa3): 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
Regressions ❌ (secondary)	4.9%	[4.9%, 4.9%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-5.1%	[-5.1%, -5.1%]	1
All ❌✅ (primary)	-	-	0

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: 659.191s -> 659.199s (0.00%)