回答編集履歴

- 暗黙の型変換が有ります。 整数型同士の四則演算は基本的には大きい側の型に変換されてから比較される (双方の型が `int` より小さい型の場合はどちらも `int` に変換される) ので、陽にキャストしなくても文法上のエラーにはなりません。