CREATE TABLE .. SELECT LASTVAL is written to binlog as single statement, causes discrepancy between master and slave

--source include/have_innodb.inc

--source include/have_binlog_format_mixed.inc

--source include/master-slave.inc

CREATE SEQUENCE s ENGINE=InnoDB;

SELECT NEXTVAL(s);

CREATE TABLE t ENGINE=InnoDB SELECT LASTVAL(s) AS a;

SELECT * FROM t;

--sync_slave_with_master

SELECT * FROM t;

# Cleanup

--connection master

DROP TABLE t;

DROP SEQUENCE s;

--source include/rpl_end.inc

SELECT * FROM t;

a

1

connection slave;

SELECT * FROM t;

a

NULL