diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-26 17:28:43 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-11-26 17:28:43 +0000 |
| commit | deb3550fea718e52cd03e7d14fd964d14795a31d (patch) | |
| tree | 4653417fb90681f4d444e9f6774b39db97cc6b23 /crates/hir_ty/src/infer/pat.rs | |
| parent | 3a96c29028c49ae8f288ec37156beac7cb21c039 (diff) | |
| parent | a5477d7f29463d199da860fb76ff7f62f5b49833 (diff) | |
Merge #6643
6643: Remove unused import r=lnicola a=lnicola
Not sure why CI didn't catch this...
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer/pat.rs')
0 files changed, 0 insertions, 0 deletions