macro_rules! check_kinds {
    ($t:expr, $text:literal, $($patterns:tt)*) => { ... };
}