interpret: remove PartialOrd from a bunch of types that do not have or need a sensible order#104933

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:interpret-partial-ord

Nov 28, 2022

Commits on Nov 26, 2022

interpret: remove PartialOrd from a bunch of types that do not have or need a sensible order
RalfJung
committed