それはrequired initがextensionじゃなくてclass本体に書いたからOKですね

7:38 AM

required initだから SubRegExpのさらなる子どもたちは全員そのinitを持つからOK。