Replace no_ord_impl
with orderable
.
Similar to the previous commit, this replaces `newtype_index`'s opt-out `no_ord_impl` attribute with the opt-in `orderable` attribute.
This commit is contained in:
parent
3ef9d4d0ed
commit
7060fc8327
28 changed files with 43 additions and 4 deletions
|
@ -14,6 +14,7 @@ use self::abs_domain::{AbstractElem, Lift};
|
|||
mod abs_domain;
|
||||
|
||||
rustc_index::newtype_index! {
|
||||
#[orderable]
|
||||
#[debug_format = "mp{}"]
|
||||
pub struct MovePathIndex {}
|
||||
}
|
||||
|
@ -25,6 +26,7 @@ impl polonius_engine::Atom for MovePathIndex {
|
|||
}
|
||||
|
||||
rustc_index::newtype_index! {
|
||||
#[orderable]
|
||||
#[debug_format = "mo{}"]
|
||||
pub struct MoveOutIndex {}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue