## 7.11. 基於類型斷言識别錯誤類型 TODO