rustc_middle: Implement the partial_cmp operation for DefIds#155608

rust-bors[bot] merged 1 commit intorust-lang:mainrust-lang/rust:mainfrom

petrochenkov:optmodcmppetrochenkov/rust:optmodcmpCopy head branch name to clipboard