cargo +nightly-2019-08-01 miri --bin hash_file src/lib.rs It seems you do not have the rust-src component installed. I will run `rustup component add rust-src`. Proceed? [Y/n]
Would it have installed the component in the right toolchain for me?
hm, good question
is this a
rustup-installed Miri or a self-compiled one?
I think this depends on whether rustup sets the right env vars for itself. not sure if Miri would even have a good way to do something about that.
do you want to open an issue about this?
Sure; in Miri?
For those following along at home, it turns out that rustup / miri would have done the right thing, and RalfJ has updated Miri to indicate that. :tada: