18.5.4 类型检查指令