Remove references to `StaticMutex` which got removed a while ago#53107

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:static-mutexRalfJung/rust:static-mutexCopy head branch name to clipboard