Good point, my silent assumption was that the type checker is configured to enforce function signatures to be fully type-annotated. (That's one of the first th

Good point, my silent assumption was that the type checker is configured to enforce function signatures to be fully type-annotated. (That's one of the first things I change in the mypy config every time I start a new Python project.)