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

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:miri-guaranteed-eq-ne

Sep 17, 2020

+70-44

Commits on Sep 12, 2020

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