diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-10 15:35:10 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-10 15:35:10 +0000 |
commit | b35559a2460e7f0b2b79a7029db0c5d4e0acdb44 (patch) | |
tree | b0aab1d4c84036dfdc27da40e15c96828cd9e9fd /editors/code/src/toolchain.ts | |
parent | 83280ea5746451f4580e6c32ba8a82be972cb786 (diff) | |
parent | c2622c922887368788674d1735a7705fc345a5b9 (diff) |
Merge #7959
7959: Prefer names from outer DefMap over extern prelude r=jonas-schievink a=jonas-schievink
Fixes https://github.com/rust-analyzer/rust-analyzer/issues/7919
Just one more special case, how bad could it be.
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors/code/src/toolchain.ts')
0 files changed, 0 insertions, 0 deletions