是否可以键入一个带有数字的字符串?

是否可以对可以正确转换为int的字符串进行注释?

像这样的…

def foo(arg: str[int]): # which of course does not work
    ...

这相当于成功调用 int(arg) .

我本可以发誓有一种方法可以通过pycharm中的类型暗示来验证字符串的类型(也许这是一个非PEP功能),但我一辈子都无法弄清楚我认为这个功能是如何存在的或为什么存在的。