diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-30 08:16:23 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-30 08:16:23 +0100 |
| commit | c913b48928107710d6ec87a455b1ae6891297c2b (patch) | |
| tree | b0272446dd887cbfab9168e2a0379de1c6f10a6d /crates/ra_hir/src/ty/infer/unify.rs | |
| parent | dbdf0e24d51ce425c0066a76a0efc723e41e5071 (diff) | |
| parent | 4acadbdca61e77368061a0c53125e164912ab5d5 (diff) | |
Merge #1936
1936: cleanup editor r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions