python，动态类型提示和 pycharm 自动完成

Question

我正在尝试让 pycharm 的自动完成功能与 python 中的动态类型提示一起使用。 假设我们有一个描述符，它在__init__上采用“类型”参数，并将值转换为__set__上的该类型：

import typing as t

_type = t.TypeVar('_type')

class CastDescriptor:
    def __init__(self, type: t.Type[_type]):
        self.type = type

    def __set_name__(self, owner, name):
        self.name = name

    def __get__(self, obj, _) -> _type | 'CastDescriptor':
        if obj is None:
            return self
        return obj.__dict__[self.name]

    def __set__(self, obj, value):
        obj.__dict__[self.name] = self.type(value)


class Test:
    a = CastDescriptor(dict)
    
    def __init__(self, a):
        self.a = a

test = Test(a=[(1, 2)])
print(test.a) # prints {1:2}

上面的代码工作得很好，但是 pycharm 无法识别属性test.a是一个字典，因此自动完成不适用于该属性。

到目前为止我发现的唯一工作方式是显式复制类型

class Test:
    a: dict[int, int] = CastDescriptor(dict)
    
    def __init__(self, a):
        self.a = a

test = Test(a=[(1, 2)])
test.a.strip() # will be highlited as dict has no attribute 'strip'

不确定是否可能，但我如何显示 pycharm 作为参数传递给描述符的最终属性类型？