Отдельно.
Ты отдельно запускаешь mypy, и потом отдельно код.
Ну то есть этап проверки всё же есть, просто он не обязательный по умолчанию, но может быть обязательный на CI 🙃
Видишь, тут можно быстро скатиться в демагогию. Ибо всё смешано. ИМХО не за типы/теги надо говорить, а за наличие статического тайпчека и/или средств верификации. Чем вышеописанный mypy и есть.