diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-11 14:48:27 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-11 14:48:27 +0000 |
| commit | 57ea320ffc7668b58e7503a14ecc50cea19605ca (patch) | |
| tree | 91695dcf6f26595b5e517d9918812ea9b365cf42 /crates/hir_ty/src/traits/chalk/interner.rs | |
| parent | f304ce329f5c40f52572be7dbe29224033516c10 (diff) | |
| parent | 777d8dca26047958d540d83fcefdd34171e62a86 (diff) | |
Merge #6825
6825: Fix memory usage metrics r=jonas-schievink a=jonas-schievink
Let's see if this fixes https://github.com/rust-analyzer/rust-analyzer/issues/6808
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/interner.rs')
0 files changed, 0 insertions, 0 deletions