Broken: 2.8 beta, be91d4ef957, 2018-12-04
Short description of error
Using the Circle Select tool via hotkey (C) won't change the toolbar highlighted tool. Another bug is that selecting it via hotckey blocks you from clicking any UI/menu items. But manually selecting it from the toolbar works just fine.