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

The Miri subtree was changed

cc @rust-lang/miri

Thanks for the PR! Note that we usually don't accept typo fixes for internal, non-user-facing comments. It's not worth the churn.

I'm willing to land this anyway since you already went through the effort, but please squash the PR into a single commit.