diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-06 17:50:11 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-06 17:50:11 +0000 |
| commit | a4431e83025223d5aea0ae3d49a6356775cb5f75 (patch) | |
| tree | ac72b45b25756f1ef95a552053a88285d2f2b4f5 /crates/ra_hir_ty/src/infer/unify.rs | |
| parent | 918115c32e9a3882d1dd65f2403bd109fc64c798 (diff) | |
| parent | 7e73b7a5f8d594a85627786a13e76d9d70163770 (diff) | |
Merge #3038
3038: Minor rename r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions