{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"cast_span:"}]}
        cast_span: Span,
        #[suggestion_part(code = ").addr() as {cast_ty}")]
        cast_ty: Ty<'tcx>,