{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"span:"}]}
            span: self.span.stable(tables, cx),
        crate::mir::ConstOperand {
            user_ty: self.user_ty.map(|u| u.as_usize()).or(None),