diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-02 19:34:29 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-02 19:34:29 +0100 |
| commit | 548c18c062a9372b00b0ad0ad87bef26a6d9e82c (patch) | |
| tree | b43ba7416724e4fbe68186d0d1d6a4d396e4f675 /crates/hir_ty/src/diagnostics/match_check.rs | |
| parent | e1bef531095f152649a7e20e992cf97ba6b3f990 (diff) | |
| parent | ce8c6c47626c3fee3ca49fb3aec4f2c588b3db7a (diff) | |
Merge #8693
8693: Ensure that only one cache priming task can run at a time r=matklad a=Bobo1239
Fixes #8632.
Co-authored-by: Boris-Chengbiao Zhou <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/diagnostics/match_check.rs')
0 files changed, 0 insertions, 0 deletions