presto-main/src/main/java/io/prestosql/type/TimeOperators.java/TimeOperators/castToTimestampWithTimeZone
class TimeOperators:    @ScalarOperator(CAST)
    @SqlType(StandardTypes.TIMESTAMP_WITH_TIME_ZONE)
    public static long castToTimestampWithTimeZone(ConnectorSession session, @SqlType(StandardTypes.TIME) long value)
    {
        return castToTimeWithTimeZone(session, value);
    }