{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"var_idx.stable(tables,"}]}
                    var_idx.stable(tables, cx),
                    tables.adt_def(*def_id),
                    generic_arg.stable(tables, cx),