{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"user_ty:"}]}
                    user_ty: const_operand.user_ty.map(|index| index.as_usize()),
                    span: const_operand.span.stable(tables, cx),
                    const_: const_operand.const_.stable(tables, cx),