python идентификатор, за которым следует «:», за которым следует тип. Что это значит?

Question

Я наткнулся на этот синтаксис в python3:

foo: int(123)

То есть identifier: type(args). Поскольку я не знаю, как это называется, поиск невозможно. Я нашел код в операторе Blender. Похоже, он используется для управления GUI (добавление «свойств»).