{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"}};"}]}
    }};
        pats!(@pat($($args)*) { $($subpat)* } $($rest)*)
    (@pat(vec:$vec:expr, sub_tys:$sub_tys:expr, idx:$idx:expr, ctor:$ctor:expr) { $($fields:tt)* } $($rest:tt)*) => {{