{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"*ty"}]}
            *ty = self.infer_pat(*pat, ty, default_bm, decl);
        for (ty, pat) in inner_tys.iter_mut().skip(pre.len() + n_uncovered_patterns).zip(post) {
        }