結果 : type check code