TIMESTAMP-to-TIME Conversion Example 3 - Teradata Vantage

The following SELECT statement return an error because the source expression does not have a time zone displacement.

SELECT CAST(TIMESTAMP '2008-06-01 08:30:00'
   AS TIME(0) WITH TIME ZONE AT SOURCE);