Auto merge of #1134 - RalfJung:macos-hashmap, r=RalfJung
Auto merge of #1134 - RalfJung:macos-hashmap, r=RalfJung

test macOS hashmap

With https://github.com/rust-lang/miri/pull/1130 landed, this should work now. Thanks @christianpoveda!

Fixes https://github.com/rust-lang/miri/issues/686

tsion/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri