Avatar
これを " Covariant method overrides" っていうのは正式な用語なのかな? Contra な引数に広いものを渡すのは - * - = + で Covariant ってこと?