变量声明为string | number，当前已收窄为string，为什么稍后赋值42仍可通过编译？

变量声明为string | number，当前已收窄为string，为什么稍后赋值42仍可通过编译？

1. 赋值按声明类型检查，而观察类型可以随控制流变化。
2. 收窄会把声明永久改成any。
3. 每个数字都会隐式转换成字符串。
4. 只有关闭严格模式后，该赋值才会被接受。