Oh, this is tricky. I was thinking of it as something we would do specifically for the casts themselves, because changing the identity of existential types (such as any Sendable & P is distinct from any P at runtime) can have far-ranging implications. But that means that my approach here won't fix this existing issue with marker protocols.
Doug