Find the ID of the role in the URL when opening the role in role detail view
Go to users > switch to advanced search mode
Add this code (adapt the ID)
Then you may batch edit the users and assign the role they did not have before.
The ID is shown in the URL in the Role Detail View.
VIDEO: How To Search with Query for User Role