Что означает символ → (символ стрелки больше, чем стрелка) в сигнатуре метода Python?

В конце метода python есть символ -> или dash-more-than, и я не уверен, что это значит. Его можно назвать стрелкой.

Вот пример:

@property
def get_foo(self) -> Foo:
    return self._foo

где self._foo - это экземпляр Foo.

Я предполагаю, что это какое-то объявление статического типа, чтобы сообщить интерпретатору, что self._foo имеет тип Foo. Но когда я тестировал это, если self._foo не является экземпляром Foo, ничего необычного не происходит. Кроме того, если self._foo имеет тип, отличный от Foo, скажем, это был int, затем type(SomeClass.get_foo()) возвращает int. Итак, какая точка -> Foo?

Эта концепция трудно найти, потому что это символ без общего имени, а термин "стрелка" вводит в заблуждение.