Concurrency question - dealing with variables defined as non-isolated in protocols

[vns]

It seems to be a case to consider within this pitch:

[Pitch] Usability of global-actor-isolated types

Hello, Swift Evolution! Together with @hborla and @mattie, I have drafted a proposal encompassing a collection of changes to concurrency rules concerning global-actor-isolated types to improve their usability. Global actor-isolated types have several properties that we can use to improve the existing concurrency rules. We propose the following improvements for rules around global actor-isolated types: Treat Sendable properties of a global-actor-isolated value type as nonisolated within the…

I couldn't find in the proposal this case covered, which seems a logical addition to me.