never是所有类型的子类型

当我们想要一个这样一个类型时 image 困难1 因为采用索引签名要满足 所有成员都必须符合字符串的索引签名 所有不能采用

{
[index:string]:string | age
}

只能采用联合类型缩减, 核心:找到一个既是number 的子类型，这样age类型缩减之后的类型就是 number同时也是string的子类型，这样才能满足属性和string索引类型的约束关系 image

因为never是string子类,由此满足了age:never符合格式,然后因为联合缩减,never属于number的子类,所以会使用age:nunber覆盖age:never.