全局 `let` 具有非常量初始化器,在降级时发生崩溃

错误描述：

如果一个全局 let 具有非常量的初始化器，则类型检查会接受，但下降会崩溃。