↓ってダメなんでしたっけ？ @swift-5.2.5

protocol P1 { func foo() -> Int } protocol P2: P1 { func bar() -> String } class C1 { init<P: P1>(_ p: P) {} } class C2: C1 { override init<P: P2>(_ p: P) { super.init(p) } }