Miri needs a cache folder somewhere on the system. Do we have some kind of policy how official Rust projects usually pick those? Also see https://github.com/rust-lang/miri/pull/774.
in particular we can set an "organization" and a "qualifier" which at least on macOS become a reverse domain name, so it might make sense to pick "rust-lang" and "org"?
on Linux none of this matters and on Windows only the organization is relevant
on Linux none of this matters
haha. Linux users are the most vocal about this
no what I mean is that "organization" and "qualifier" are ignored on Linux
the crate picks the right place (following XDG on Linux) automatically, you just have to fill in some blanks
using org.rust-lang.miri would probably make sense
and on unix-like $HOME/.config/miri seems sensible
.cache for caches, please
See https://github.com/rust-lang/cargo/pull/5183. That
directories crate should work.