{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"num_pats_unknown"}]}
                    num_pats_unknown += 1;
                let unknown_or_partial = if ty.is_unknown() {
                    if verbosity.is_spammy() {