Why does the compiler stop checking if x is used after it is shadowed?

在这段代码中，变量 x 和 y 被重新绑定并遮蔽，编译器不再检查它们的使用情况，且可以绑定不同类型的值。