diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-07 13:35:02 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-07 13:35:02 +0000 |
commit | 1996762b1f2b9cb196cc879f0ce26d28a3c450c8 (patch) | |
tree | e17cb26eb6da4c1832f4ae4fca10c57f100b546b /crates/ra_hir_ty/src/infer | |
parent | 8337dcd9e277feac8e9cff621c752a3e86ba19e6 (diff) | |
parent | ae70d072374f3c4d14abdccbe61661cf02b41b33 (diff) |
Merge #3048
3048: Remove irrelevant distinction r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer')
0 files changed, 0 insertions, 0 deletions