struct S1: P1 {} (C2.self as C1.Type).init(S1()) これで破綻しそう (edited)

7:16 AM

でもそもそもジェネリックシグネチャを縮めたりしながらオーバライドするのできましたっけ

7:17 AM

その型パラメータのvariancityを判定しないといけないから難しい気がするけど。