As far as I can see the proposal does not say that yielding mutate can be specified in a protocol property requirement, for example:
protocol Foo {
var bar: Bar { get yielding mutate }
}
Is this just an oversight or was it deliberately left out? It's unclear because the proposal also does not say explicitly that it is disallowed.