I wonder whether ReadWriteLock optimises away to a Mutex if it’s used like one… That would be pretty fancy lto.