Аннотация типа аргумента. Интерпретатор питона его игнорирует, но IDE и статические анализаторы могут использовать эти сведения, чтобы поймать ситуации, когда в функцию передаются данные неверного типа.
Также сама программа при желании может получить доступ к этим аннотациям. Есть библиотеки, которые этим пользуются.