SHOW CREATE ROUTINE does not apply to roles

create user u@localhost;

create role r;

create procedure p1() select 10 as ten;

grant execute on procedure test.p1 to u@localhost;

grant execute on procedure test.p1 to r;

grant r to u@localhost;

connect u, localhost, u;

call p1();

query_vertical show create procedure p1;

set role r;

query_vertical Show create procedure p1;

disconnect u;

connection default;

drop role r;

drop user u@localhost;

drop procedure p1;