diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-16 13:35:26 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-16 13:35:26 +0000 |
commit | da5328a01be27a73378f4c4bac161e8fd43781e3 (patch) | |
tree | 37068f97a0d19e6c6e496d3f16385b8933f31b48 /crates/hir_ty/src/infer/pat.rs | |
parent | c49b5b7468a9954af86fd1724276261f396aba5d (diff) | |
parent | a7cf976c6324433b3f99d5b73d900150e17f1529 (diff) |
Merge #8051
8051: Fix more unused wariable warnings r=lnicola a=lnicola
bors r+
changelog skip
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