ts 双重断言 说明