Fix some typos in rust

[zhiiw]

Docs fixes

[rust-highfive]

Some changes occured to the CTFE / Miri engine

cc @rust-lang/miri

[rust-highfive]

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @nagisa (or someone else) soon.

Please see the contribution instructions for more information.

[rust-highfive]

⚠️ Warning ⚠️

• These commits modify submodules.

[rust-log-analyzer]

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

  IMAGE: x86_64-gnu-tools
##[endgroup]
From https://github.com/rust-lang/rust
 * branch              master     -> FETCH_HEAD
Searching for toolstate changes between 4b9f4b221b92193c7e95b1beb502c6eb32c3b613 and 6024fdd1b5983b2774641a6814446ff79b6c7634
Submodules were updated
##[group]Run src/ci/scripts/verify-channel.sh
src/ci/scripts/verify-channel.sh
shell: /bin/bash --noprofile --norc -e -o pipefail {0}
env:

[oli-obk]

you accidentally got a few submodule changes in there.

The actual comment changes lgtm

[bors]

☔ The latest upstream changes (presumably #88295) made this pull request unmergeable. Please resolve the merge conflicts.