对现有变量使用类型提示可以吗？

Question

我有一个模块'base.py'：

class BaseA:
    @property
    def b(self):
        ''' returns a BaseB object '''
        ...

class BaseB:
    pass

以及从该模块导入的child.py：

from base import BaseA, BaseB

class B(BaseB):
    pass

class A(BaseA):
    b: B

因为A.b的确切返回类型只在child.py中定义，所以我在那里放了一个类型提示，没有赋值。这样做是否有任何问题，例如以某种方式“覆盖”变量

这在python3.7中执行得很好，PyCharm没有标记任何错误，但我只是想确定一下，因为我只看到了另一种情况，变量在类型声明之后被赋值