never是所有类型的子类型
当我们想要一个这样一个类型时
困难1 因为采用索引签名要满足 所有成员都必须符合字符串的索引签名
所有不能采用
{
[index:string]:string | age
}
只能采用联合类型缩减,
核心:找到一个既是number 的子类型，这样age类型缩减之后的类型就是 number同时也是string的子类型，这样才能满足属性和string索引类型的约束关系
因为never是string子类,由此满足了age:never符合格式,然后因为联合缩减,never属于number的子类,所以会使用age:nunber覆盖age:never.