x：int = 1.0有什么作用？

Question

我偶然发现了以下代码：

x: int = 1.0

，我想知道：它有什么作用（为什么它完全起作用-我希望这是一个SyntaxError）？

我唯一发现的是x的类型仍为float，因此它不等同于x = int(1.0)。