Unnecessary condition when Civil to Email string conversion with time:PREFER_TIME_ABBREV

[BuddhiWathsala]

Description:
When users specify time:PREFER_TIME_ABBREV, Civil to Email string conversion returned an error saying zone offset must not be null. But actually, the zone offset should be mandatory for time:PREFER_ZONE_OFFSET and time:ZONE_OFFSET_WITH_TIME_ABBREV_COMMENT.

The following sample returns the error.

import ballerina/time;
import ballerina/io;

public function main() {
    time:Zone? systemZone = time:getZone("Asia/Colombo");

    if systemZone is time:Zone {
        time:Civil civil = systemZone.utcToCivil(time:utcNow());
        io:println(time:civilToEmailString(civil, time:PREFER_TIME_ABBREV));
    }
}

Output

error FormatError ("civil.utcOffset must not be null")

Workaround until this is fixed.

import ballerina/time;
import ballerina/io;

public function main() {
    time:Zone? systemZone = time:getZone("Asia/Colombo");

    if systemZone is time:Zone {
        time:Civil civil = systemZone.utcToCivil(time:utcNow());
        civil.utcOffset = {hours: 0, minutes: 0};
        io:println(time:civilToEmailString(civil, time:PREFER_TIME_ABBREV));
    }
}

Output

Wed, 26 Jan 2022 12:36:25 +0530 (IST)