{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"adt_def,"}]}
                        adt_def,
                    ty::Adt(adt_def, _) if adt_def.is_enum() => EnumInfo::Enum {
                        variant_index: RustcPatCtxt::variant_index_for_adt(pat.ctor(), adt_def),