Unfortunate error code/message upon SET DEFAULT ROLE FOR

SET DEFAULT ROLE FOR for a non-existing user produces ER_INVALID_CURRENT_USER:

MariaDB [test]> set default role none for foo;

ERROR 1960 (0L000): The current user is invalid

It doesn't really make sense, because the current user is fine, it's the target user that's wrong.