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