SHOW GRANTS does not work for a replicated role (throws 'There is no such grant defined for user ...')

--source include/master-slave.inc

--enable_connect_log

create user u1;

create role r1;

--echo #

--echo # On master SHOW GRANTS work both for the user and the role:

show grants for u1;

show grants for r1;

--echo #

--sync_slave_with_master

--echo #

--echo # The role has been replicated, 

--echo # it's visible in mysql.user and I_S:

--echo #

select user, host, is_role from mysql.user;

select * from information_schema.applicable_roles;

--echo #

--disable_abort_on_error

--echo #

--echo # For the new user, SHOW GRANTS works:

show grants for u1;

--echo #

--echo # But for the new role, it does not:

show grants for r1;

--echo #

--echo # FLUSH PRIVILEGES does not help:

flush privileges;

show grants for r1;

--echo #

--echo # The role can be set, but SHOW GRANTS for it still does not work:

set role r1;

show grants for r1;

--echo #

--echo # However, in the user's SHOW GRANTS it's visible

show grants;