Macro whiteout::erase

macro_rules! erase {
    ($val:expr, $($tr:tt)*) => { ... };
}

erase!(value, trait) turns a value of any type that implements trait into an erasted type which is impl Trait for that trait.