7.10. 類型斷言

TODO