如果将变量的类型更改为其初始值设定项的类型使类型更具体,将更改变量的类型。