ジュニア

@swift-5.10

@_typeEraser(AnyP) protocol P {} struct ConcreteP1: P {} struct AnyP: P { init(erasing base: some P) { print("Erasing:", base) } } struct Foo { dynamic var p: some P { ConcreteP1() } } print(Foo().p)

(edited)

Erasing: ConcreteP1() AnyP() (edited)