Something like pyright's `--verifytypes` or mypy's `--report`. The latter generates XML/HTML coverage reports https://mypy.readthedocs.io/en/stable/config_file.html#report-generation