{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"},"}]}
                    },
                        variant_index: RustcPatCtxt::variant_index_for_adt(pat.ctor(), adt_def),
                    ty::Adt(..) | ty::Tuple(..) => EnumInfo::NotEnum,