-- surprisimgly works and returns correct result `7`
SELECT
  DATE_DIFF('HOUR',  TIMESTAMP '2010-07-07 10:20:00+07', TIMESTAMP '2010-07-07 10:20:00+00') AS hours;

-- fails: Binder Error: No function matches the given name and argument types 'date_diff(STRING_LITERAL, TIMESTAMP WITH TIME ZONE, TIMESTAMP)'
SELECT
  DATE_DIFF('HOUR',  TIMESTAMP '2010-07-07 10:20:00' AT TIME ZONE 'Asia/Bangkok', TIMESTAMP '2010-07-07 10:20:00+00') AS hours;

-- works  and returns correct result `7`
SELECT
  DATE_DIFF('HOUR',  TIMESTAMP '2010-07-07 10:20:00' AT TIME ZONE 'Asia/Bangkok', TIMESTAMPTZ '2010-07-07 10:20:00+00') AS hours;

-- technically works, but returns wrong result `0`
SELECT
  DATE_DIFF('HOUR',  TIMESTAMPTZ '2010-07-07 10:20:00' AT TIME ZONE 'Asia/Bangkok', TIMESTAMP '2010-07-07 10:20:00+00') AS hours;