@swift-6.0.3
protocol P { var foo: String { get } } class C: P { init() { } @_implements(P, foo) var foo2: String { "foo2" } var foo: String { "foo" } } let p: P = C() print(p.foo)