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

我有一个“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没有标记任何错误，但我只是想确定一下，因为我只是从另一个角度看到了它，变量是在类型声明之后分配的