fn cast_timestamp_to_mz_timestamp( a: CheckedTimestamp<NaiveDateTime>, ) -> Result<Timestamp, EvalError>