Miri wanted features & bugfixes

[ojeda]

Features that we would like to see

Required (we almost certainly want them)

Nice to have (not critical, we could workaround if needed, etc.)

Low priority (we will likely not use them in the end)

Done (stabilized, fixed, not needed anymore, etc.)

---

Bugs that we would like to see fixed

Required (we almost certainly want them)

Nice to have (probably not critical, we could workaround if needed, etc.)

Low priority (we will likely not use them in the end)

Done (stabilized, fixed, or not needed anymore, etc.)

• Improve errors when invoked directly.
  • Issues: Improve errors when invoked with wrong sysroot (missing MIR) rust-lang/miri#1834, Miri is shipped in the standalone installer rust-lang/rust#86286.
  • PRs: Don't dist miri or rust-analyzer on stable or beta. rust-lang/rust#86568.

[RalfJung]

The issues you listed here are all closed now. :)

If there are other ways Miri can help Rust-for-Linux, I'm happy to see what I can do. :D

[ojeda]

Thanks! We have not started using Miri yet (I found those two in a very quick test), so it is possible we find out new bits when we do. I will be updating this list as needed (i.e. this and related lists at #2 are "live" lists to keep track of things).