In my experience even something like Pycharm can't inference types properly across function boundaries unless you explicitly provide type hints.