INC命令で使っている代入先の変数の型が計算結果の値と同じ型であればエラーは出ないわけですし、仕様なのではないでしょうか。