我试图通过滥用Python切片语法来动态地创建类型提示。我的愿望是能够像这样使用它：

def is_senior(r: Row["age": int, "name" : str]) -> bool:
    return r.age > 35 and r.name in ['John'] and r.color == "Blue"

我希望从IDE中得到一些类型提示冲突（例如PyCharm），r.color不存在于r中
为此，我在使用Row[]语法时动态生成了一个数据类。但是，这在IDE中不起作用

from dataclasses import dataclass, make_dataclass
class RowSugar:
    def __getitem__(self, item):
        specs = []
        for col_spec in item:
            specs.append((col_spec.start, col_spec.stop))
        return make_dataclass("RowSpec", specs)

Row = RowSugar()

但是如果我创建一个显式的数据类

@dataclass
class DRow:
    age: int
    name: str

def is_senior2(row: DRow) -> bool:
    return row.age > 35 and row.name in ['John'] and row.color == "Blue"

row.color被正确地标记为不存在。
如何使r.color显示为与row.color类似。我应该使用像mypy这样的东西吗？