diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-02 19:47:25 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-02 19:47:25 +0100 |
| commit | 8e3e13f3a41b311c82fa5859c5bfebbbcd82cad4 (patch) | |
| tree | 8541571011ca81bcb2536374f43873fdc049295e /crates/syntax/src/ptr.rs | |
| parent | 0129628a0f497834a544fa981078b43321c9020a (diff) | |
| parent | e73d26fa62c61602e0bceb7d9cf7c661badee57b (diff) | |
Merge #8298
8298: Stop using an upgradeable read lock in interning r=jonas-schievink a=jonas-schievink
Only one upgradeable read lock can be handed out at the same time, and
we never acquire a non-upgradeable read lock, so this has no benefit
over just using a write lock in the first place.
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/syntax/src/ptr.rs')
0 files changed, 0 insertions, 0 deletions