询问TypeScript是否有人对不可能状态使用断言

有没有人在写TypeScript时对理论上不可能的状态使用断言？