7:53 AM
@norio_nomura モジュールaて定義された親クラスCを、モジュールbのクラスDが継承しつつ、DがPへのconditional conformanceを持っているケースです