{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"num_pats"}]}
                num_pats += 1;
                let ty = &inference_result[pat_id];
                let unknown_or_partial = if ty.is_unknown() {