I recently added type checking on arguments and return types (not on the variable inside a function). I didn't exactly discover bugs, but I did run into a number of issues I wasn't expecting, like a function that returned TextIOWrapper in one case, and StreamWriter in another. Had to do some research to figure out which one I should be using.