ci(miri): fix Miri

[overlookmotel]

Miri is failing on main. It seems to have started with #11088, though that could be a coincidence - maybe it's just latest nightly made some change which broke Miri.

2 things are causing the fails:

1. "fatal error: cross-interpreting doctests is not currently supported by Miri".
2. A lint error that only occurs on nightly in Vec::append_elements.

Fix (1) by disabling doc tests.

Fix (2) by changing the code. The #[allow] attribute is needed because the amended code triggers a different clippy warning on stable!

[overlookmotel]

• ci(miri): fix Miri #11092 👈 (View in Graphite)
• main

---

How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

• 0-merge - adds this PR to the back of the merge queue
• hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

This stack of pull requests is managed by Graphite. Learn more about stacking.

[codspeed-hq]

CodSpeed Instrumentation Performance Report

Merging #11092 will not alter performance

_{Comparing 05-17-fix_allocator_vec_fix_lint_error_in_miri (05aa064) with main (2f05c54)}

Summary

✅ 36 untouched benchmarks

[Boshen]

Shall we remove --doc from miri test? Feels like a bug in nightly.

[overlookmotel]

Shall we remove --doc from miri test? Feels like a bug in nightly.

Done. Can I ask what was the reason you added --doc in #11088? As far as I can see, doc tests already run by default. --doc causes it to run only the doc tests.

[overlookmotel]

I'm not completely sure this is the right way to fix, but I'm going to merge to unblock the merging of other PRs. @Boshen please come back if I've done the wrong thing.