fn miri_sysroot_cache_dir() -> Option<PathBuf>Expand description
Where we tell cargo miri setup to build the sysroot for the current toolchain.
We use a per-toolchain directory because Miri’s default cache directory (~/.cache/miri) is
shared across all toolchains and gets overwritten when switching between Charon versions.