I'm surprised that this is valid: shouldn't `RWLock` be not-`Freeze`? (I guess this is mostly irrelevant with `Freeze` disappearing, though.)