downgrade

Macro downgrade 

Source
macro_rules! downgrade {
    ($($t:ident),*) => { ... };
}