fn cast_timestamp_tz_to_mz_timestamp( a: CheckedTimestamp<DateTime<Utc>>, ) -> Result<Timestamp, EvalError>