Ошибка проверки огня для @property: неопределенный атрибут: `` не имеет атрибута `` ⇐ Python

[Anonymous]

Я использую Pyre-check для проверки типа моего кода Python с включенной строгой настройкой. Он работает нормально, за исключением свойств ООП.
Пример кода:

Код: Выделить всё

class MyClass:
def __init__(self, full_name: str):
self.full_name = full_name

@property
def full_name(self) -> str:
return self._full_name

@full_name.setter
def full_name(self, value: str) -> None:
self._full_name = value

# Usage
obj = MyClass("John Doe")
print(obj.full_name)

Код: Выделить всё

Undefined attribute: `` has no attribute `_full_name`.

Я думаю, это потому, что _full_name не определено в файле init. Но если я использую следующий код, то установщик не используется.

Код: Выделить всё

 self._full_name = full_name

Я хочу предоставлять полное имя только через методы получения и установки. Я считаю, что Пайр неправильно говорит, что это неправильно, или как еще мне написать свой код?

Подробнее здесь: https://stackoverflow.com/questions/793 ... -attribute