bors 7bdb5dee7b Auto merge of #76634 - RalfJung:miri-guaranteed-eq-ne, r=oli-obk ...

move guaranteed{ne,eq} implementation to compile-time machine

Currently, Miri needs a special hack to avoid using the core engine implementation of these intrinsics. That seems silly, so let's move them to the CTFE machine, which is the only machine that wants to use them.

I also added a reference to https://github.com/rust-lang/rust/issues/73722 as a warning to anyone who wants to adjust `guaranteed_eq`.

2020-09-17 12:15:57 +00:00

..

src

Auto merge of #76634 - RalfJung:miri-guaranteed-eq-ne, r=oli-obk

2020-09-17 12:15:57 +00:00

Cargo.toml

update the version of itertools and parking_lot

2020-09-12 08:26:53 +02:00