diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-10 01:32:40 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-10 01:32:40 +0000 |
commit | 63715e1f732d94f090078d03591fe5569d8890c3 (patch) | |
tree | b08cace121f35753337c0c8e8bee586c8884ee44 /crates/hir_ty/src/infer.rs | |
parent | 654313dbc7fdfc839b79592c5a06dfe8597d55b3 (diff) | |
parent | 7beec8fda186e525c0c2d660455a774eeda22e9d (diff) |
Merge #7955
7955: Stop fetching ItemTrees for no reason r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer.rs')
0 files changed, 0 insertions, 0 deletions