x:5，这个语句是什么意思？
最近有人问我在Python中这段代码的含义：
>>> char : str
我一点都不知道。我查看了文档，没有找到类似的内容。有人建议这是静态类型声明，但文档中完全没有提到这一点。
对于上述代码，如果我执行
>>> type(char) 会报错
如果我执行 >>> char : str = 'abc' ，它可以正常工作，type(char)的结果是 >>> char : str = 4 ，type(char)的结果变成了
这是什么意思？
