Macro does_implement_trait

macro_rules! does_implement_trait {
    ($trait:path => $identifier:ident < $type:ident >) => { ... };
}