改めてみたら説明が足りなすぎる ↑のコードはオーバライドできない、ってコンパイルエラーになる。でも、もし親が Int で子が Int? ならオーバライドできるので、法則が乱れてるね、という話です (edited)