]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #83599 - jyn514:unorderable, r=Aaron1011
authorbors <bors@rust-lang.org>
Sat, 3 Apr 2021 04:11:35 +0000 (04:11 +0000)
committerbors <bors@rust-lang.org>
Sat, 3 Apr 2021 04:11:35 +0000 (04:11 +0000)
commitcb1713640532ca829479554459406e152213e95c
tree7dffaf518b2184b8f94c40e4a71e697279b8ccce
parent621d4b7cbf896411fddc45c32a0b29b89a681158
parenta0957c9d2685178d1d19406661a7082bac506acb
Auto merge of #83599 - jyn514:unorderable, r=Aaron1011

Avoid sorting by DefId for `necessary_variants()`

Follow-up to https://github.com/rust-lang/rust/pull/83074. Originally I tried removing `impl Ord for DefId` but that hit *lots* of errors :sweat_smile: so I thought I would start with easy things.

I am not sure whether this could actually cause invalid query results, but this is used from `MarkSymbolVisitor::visit_arm` so it's at least feasible.

r? `@Aaron1011`
compiler/rustc_hir/src/pat_util.rs