{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"user_ty:"}]}
            user_ty: None,
            span: rustc_span::DUMMY_SP,
            const_: Const::Val(ConstValue::ZeroSized, ty),