} 然后像这样调用这个函数: function bar() { if (a === undefined) { }
return a; // TypeScript infers a as number (good!)} 因为函数foo返回元组(number, undefined)或(undefined, number),所以在没有通过a ===
我目前正在努力改进一些现有代码的类型。*/});
我想消除显式缩小传递给消息处理程序的消息类型的需要(在/*REMOVE THIS TYPE HINT!*/中),这样它就正确地缩小到具有匹配的messageType类型的类型(例如,如果messageType是"ADD_COMMENT",那么message应该是AddCommentMessage)。