diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-15 18:51:23 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-11-15 18:51:23 +0000 |
| commit | 382361c252f6d9e1c9e3fad3bdc4ebe32c5d4b7b (patch) | |
| tree | 60e0e6ccfab323471d18e4d5568e8da735af56c6 /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | e8c803937ce23a6cf74583ad03f9868869c7eea1 (diff) | |
| parent | f3e297331c5c4b8c03810acc745ae5b4a9c4f71f (diff) | |
Merge #6552
6552: Properly handle shorthands in destructure patterns when renaming r=SomeoneToIgnore a=Veykril
Fixes #6548 and #6551.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions