diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-30 19:10:56 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-30 19:10:56 +0000 |
commit | bed7be9ed9f3eb905ae1c377f154fe0990b4c87f (patch) | |
tree | ec564e375d1bd1fa12044500b49d7d9e1afbf6ab /crates/hir_ty/src/diagnostics/decl_check | |
parent | bf5301ce3b09a85ab13546b9b029e3f1c0c7a000 (diff) | |
parent | ede1b11741f2758effaf110dca52f31e39503049 (diff) |
Merge #7099
7099: Remove unused clones in mbe r=edwin0cheng a=edwin0cheng
bors r+
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/diagnostics/decl_check')
0 files changed, 0 insertions, 0 deletions