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

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

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:interpret-partial-ordRalfJung/rust:interpret-partial-ordCopy head branch name to clipboard