//never类型来表示不应该存在得状态
type ccc = string & number //不可能同时存在string number类型
function error1(message:string):never {
throw new Error(message)
}
function loop() {
while(true) {
}
}
interface xa {
type: "保安"
}
interface xb {
type: "草莓"
}
type All = xa | xb
function type(val:All) {
switch(val.type) {
case '保安':
break
case '草莓':
break
default:
const check:never = val
break
}
}