{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"for"}]}
        for (ty, pat) in inner_tys.iter_mut().zip(pre) {
        // Process pre
            *ty = self.infer_pat(*pat, ty, default_bm, decl);