presto-main/src/main/java/io/prestosql/type/TimeWithTimeZoneOperators.java/TimeWithTimeZoneOperators/castToTimestampWithTimeZone
class TimeWithTimeZoneOperators:    @ScalarOperator(CAST)
    @SqlType(StandardTypes.TIMESTAMP_WITH_TIME_ZONE)
    public static long castToTimestampWithTimeZone(@SqlType(StandardTypes.TIME_WITH_TIME_ZONE) long value)
    {
        return value;
    }