シンプルにrequiredじゃないinitはサブタイプではoverrideしない限り存在しないことになってるので