{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"user_ty_index.map(|idx|"}]}
                    user_ty_index.map(|idx| idx.index()),
                    generic_arg.stable(tables, cx),
                    field_idx.map(|idx| idx.index()),