GRANT role TO user denied to ALL PRIVILEGES user

SHOW GRANTS;

CREATE USER 'bob'@'%';

CREATE USER 'judy'@'%';

CREATE ROLE 'role_1' WITH ADMIN 'bob'@'%';

GRANT SELECT ON mysql.user TO 'bob'@'%';

GRANT role_1 TO 'judy'@'%';

GRANT role_1 TO 'bob'@'%' WITH ADMIN OPTION;

SHOW GRANTS;

Grants for root@localhost

GRANT ALL PRIVILEGES ON *.* TO 'root'@'localhost' WITH GRANT OPTION

GRANT PROXY ON ''@'%' TO 'root'@'localhost' WITH GRANT OPTION

CREATE USER 'bob'@'%';

CREATE USER 'judy'@'%';

CREATE ROLE 'role_1' WITH ADMIN 'bob'@'%';

GRANT SELECT ON mysql.user TO 'bob'@'%';

GRANT role_1 TO 'judy'@'%';

roles.grant                              [ fail ]

        Test ended at 2020-09-25 17:59:58

CURRENT_TEST: roles.grant

mysqltest: At line 8: query 'GRANT role_1 TO 'judy'@'%'' failed: 1698: Access denied for user 'root'@'localhost'