protocol SyncChecked share capability (ADR 0050): shared references to a Sync value may safely be used by multiple workers. Sync(T) iff Send(&T). Same structural derivation and claim validation as Send.
protocol SyncChecked share capability (ADR 0050): shared references to a Sync value may safely be used by multiple workers. Sync(T) iff Send(&T). Same structural derivation and claim validation as Send.