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