えっと、そもそもオーバーライドしろって言われるのが変な気がして、オーバーライドせずに↓を通すのはダメなんだっけ？ジェネリックだとシグネチャが被る？
protocol P {} protocol Q {} extension Int: P {} class C1 { init<T: P>(_ x: T) {} } class C2: C1 { init<T: Q>(_ x: T) { super.init(42) } }