{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"user_ty:"}]}
            user_ty: None,
            span: self.source_info.span,
            const_: Const::from_usize(self.tcx(), val.into()),