macro_rules! display_consequential_impls {
    ( $x:path ) => { ... };
}