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