{"ast_node_type":"enum","tokens":[{"end":76,"kind":"keyword","start":0,"text":"let"}]}
            let adt_def = rcvr_ty.ty_adt_def().expect("enum is not an ADT");
        if unsatisfied_predicates.is_empty() && rcvr_ty.is_enum() {
            if let Some(var_name) = edit_distance::find_best_match_for_name(