diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-30 16:22:56 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-11-30 16:22:56 +0000 |
| commit | 70eb17027151b4e85cbda2765f7289585b26a823 (patch) | |
| tree | 1ab42350b15cd93ae8124c823fab048515244822 /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | 9cbea21aa5a928d9020af63d101b5933ce9cc774 (diff) | |
| parent | ec946570772a286e9c3cbd57c34bb40d36131275 (diff) | |
Merge #6680
6680: Fix use merging not using the first path segment r=Veykril a=Veykril
Finally figured out why nested imports don't properly merge in some cases
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