{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"//"}]}
        // Process post
        for (ty, pat) in inner_tys.iter_mut().skip(pre.len() + n_uncovered_patterns).zip(post) {