Make #[debug_format] an attribute in newtype_index

This removes the `custom` format functionality as its only user was
trivially migrated to using a normal format.

If a new use case for a custom formatting impl pops up, you can add it
back.
This commit is contained in:
Nilstrieb 2022-12-18 21:37:38 +01:00
parent 91c3c2040c
commit d679764fb6
24 changed files with 64 additions and 92 deletions

View file

@ -14,8 +14,8 @@ use self::abs_domain::{AbstractElem, Lift};
mod abs_domain;
rustc_index::newtype_index! {
#[debug_format = "mp{}"]
pub struct MovePathIndex {
DEBUG_FORMAT = "mp{}"
}
}
@ -26,14 +26,14 @@ impl polonius_engine::Atom for MovePathIndex {
}
rustc_index::newtype_index! {
#[debug_format = "mo{}"]
pub struct MoveOutIndex {
DEBUG_FORMAT = "mo{}"
}
}
rustc_index::newtype_index! {
#[debug_format = "in{}"]
pub struct InitIndex {
DEBUG_FORMAT = "in{}"
}
}