Partitioning by COLUMNS or KEY on a time zone dependent virtual column changes the query result

--source include/have_partition.inc

SET time_zone='+00:00';

# PARTITION BY HASH (v) refuses this column. LIST COLUMNS (v) must refuse it too, or keep the rows where they can be found

--error 0,ER_WRONG_EXPR_IN_PARTITION_FUNC_ERROR

CREATE TABLE t1 (ts TIMESTAMP, v INT AS (HOUR(ts)) VIRTUAL) PARTITION BY LIST COLUMNS (v) (PARTITION p0 VALUES IN (1), PARTITION p1 DEFAULT);

if (!$mysql_errno)

{

  INSERT INTO t1 (ts) VALUES ('2000-01-01 01:00:00');

  SET time_zone='+01:00';

  --let $c= query_get_value(SELECT COUNT(*) AS c FROM t1 WHERE v=2, c, 1)

  if ($c != 1)

  {

    --die The row with v=2 is not found by v=2 after a time_zone change. The time zone dependent v was accepted

  }

  DROP TABLE t1;

}

mysqltest: At line 14: The row with v=2 is not found by v=2 after a time_zone change. The time zone dependent v was accepted