@swift-5.10.1
@_typeEraser(AnyP) protocol P {} struct ConcreteP1: P {} struct AnyP: P { init(erasing base: some P) {} } struct Foo { dynamic var p: some P { ConcreteP1() } } print(Foo().p)