Macro const_is_trait 

macro_rules! const_is_trait {
    ($type:ty, $trait:path) => { ... };
}

Like is_trait but uses const trait impls