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