{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"variant_index:"}]}
                        variant_index: RustcPatCtxt::variant_index_for_adt(pat.ctor(), adt_def),
                        adt_def,
                    },