@swift-5.7.3 @swift-5.8.1

protocol P1<C> { associatedtype C } protocol P2<C> { associatedtype C func f() -> any P1<C> } func g(_ p: any P2) { let _ = p.f() }

(edited)