一个能够更新的变量使用在一个不能被更新的环境中是不破坏类型保护的，反之亦然。