@swift-6.1.3 @swift-main protocol MyType {} public protocol P { var a: MyType { get } } enum E { public protocol P { var a: MyType { get } } }