Macro has_impl

macro_rules! has_impl {
    ($ty:ty: $tr:path) => { ... };
}