macro_rules! ty_allowed {
    ($t:ty $b:block) => {{}};
}