diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-20 14:28:41 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-20 14:28:41 +0000 |
commit | 81a1b14d78d6078c63dd42c09da5a3e171c85a3a (patch) | |
tree | 58185563f5b5ce737109e7a5c220211440d7d9c5 /crates/ra_hir_ty/src/infer.rs | |
parent | 890ec6f7987af9fee0675502db1d419a12f9071c (diff) | |
parent | 794bbab70dfd009178adf03bd82a30dc569ecde6 (diff) |
Merge #2613
2613: Remove code that never was alive? r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer.rs')
0 files changed, 0 insertions, 0 deletions