Statement referencing the same locked sequence more than once fails with ER_TABLE_NOT_LOCKED

CREATE SEQUENCE s ENGINE=InnoDB;

LOCK TABLES s WRITE;

SELECT NEXTVAL(s);                                    # works

SELECT NEXTVAL(s) AS x, NEXTVAL(s) AS y;              # ERROR 1100

UNLOCK TABLES;

LOCK TABLES s READ;

SELECT LASTVAL(s);                                    # works

SELECT LASTVAL(s), LASTVAL(s);                        # ERROR 1100

UNLOCK TABLES;

13.2.0-opt>CREATE SEQUENCE s ENGINE=InnoDB;

Query OK, 0 rows affected (0.009 sec)

13.2.0-opt>LOCK TABLES s WRITE;

Query OK, 0 rows affected (0.000 sec)

13.2.0-opt>SELECT NEXTVAL(s);                                    # works

+------------+

| NEXTVAL(s) |

+------------+

|          1 |

+------------+

1 row in set (0.000 sec)

13.2.0-opt>SELECT NEXTVAL(s) AS x, NEXTVAL(s) AS y;              # ERROR 1100

ERROR 1100 (HY000): Table 's' was not locked with LOCK TABLES

13.2.0-opt>UNLOCK TABLES;

Query OK, 0 rows affected (0.000 sec)

13.2.0-opt>

13.2.0-opt>LOCK TABLES s READ;

Query OK, 0 rows affected (0.000 sec)

13.2.0-opt>SELECT LASTVAL(s);                                    # works

+------------+

| LASTVAL(s) |

+------------+

|          1 |

+------------+

1 row in set (0.000 sec)

13.2.0-opt>SELECT LASTVAL(s), LASTVAL(s);                        # ERROR 1100

ERROR 1100 (HY000): Table 's' was not locked with LOCK TABLES

13.2.0-opt>UNLOCK TABLES;

Query OK, 0 rows affected (0.000 sec)

13.2.0-opt>