Macro has_simple_spec 

macro_rules! has_simple_spec {
    ($t:ty, $s:ty, $b:ty) => { ... };
}