Подсказки типа Python игнорируются

Question

Я новичок в python и экспериментирую с подсказками типов, однако, похоже, они работают только в некоторых случаях.Похоже, что они работают должным образом в типе возвращаемого свойства, однако, когда я пытаюсь присвоить целое значение строковому значению (то есть self._my_string = 4), я не получаю сообщений о проблемах.

class TypeHintTest(object):
    _my_string: str

    def __init__(self):
        self._my_string = 4  # no error

    @property
    def as_int(self) -> int:  
        return self._my_string  # Error : expected int got str

В результатеЗатем объект содержит значение типа int (как и ожидалось).

Я использую pyCharm 2018.3.2 Community Edition, переводчик - 3,6

Следующий вопрос кажется похожим,но решение изменить конструктор на def __init__(self) -> None ничего не меняет. Python: Все ошибки подсказок типов в конструкции подкласса игнорируются

Answer 1

Когда @FHTMitchell указывает на ошибку в PyCharm

см. Запись отслеживания ошибок

Answer 2

Типовые подсказки, как следует из названия, подсказки. Python не вызывает ошибку, если вы назначаете переменному другой тип.
Однако Pycharm должен сказать, что ожидал другой тип переменной.