I’m not sure it actually works yet, but there was a thread last year about using it to model accessing a Mutex-protected value: Sending, inout sending, Mutex
I’m not sure it actually works yet, but there was a thread last year about using it to model accessing a Mutex-protected value: Sending, inout sending, Mutex