@RalfJ Do you have any objection against bumping the miri submodule so that we can get working miri in nightlies again?
@Amanieu https://github.com/rust-lang/rust/pull/69839 will break it, so I planned to land that first
I'm waiting for
min_specialization to land in a working nightly (i.e. with miri) for https://github.com/rust-lang/hashbrown/pull/147.
(hashbrown's CI relies on miri)
@Amanieu do you use the snippet to use the latest nightly with miri? or is the issue that min_spec landed too recently?
min_spec landed yesterday
ah I see
I mean I could submit the submodule bump now but it seems like a waste because it will break again immediately
well, and there the tree is closed again...
wow this is the first time I hear about https://github.com/rust-lang/rust/pull/68970
me too :o