それを許容すると一般にinitが返すインスタンスがそれ自身ではなくそれのサブクラスである可能性を認めることになるから、単純にやるといろんな super.init が地雷原になりそう convenience init みたいに factory init みたいな別概念で区別してオーバライド規定を整理する感じだとうまくいくのかな・・・