Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The bot is used for methods that either always throw an exception or enter an infinite loop and never terminate. Therefore, I believe void is correct here.
- Loading branch information