Earlier quoted context omitted.
okay, so use type annotations and mypy --strict
It's not my project; I'm just a collaborator. My experience has been that a very tiny minority of Python code out there is written in this style, so unless you're only starting projects from scratch, you can't benefit from it.
There's a good document on this: