Skip to content

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

Commits

Commits on Sep 12, 2020