diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-10 17:58:14 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-10 17:58:14 +0000 |
commit | 029c02982b4ab89dc785bc162456dbe25a22446c (patch) | |
tree | 04029c58d338fb15a47dae93313c840fa8896ef3 /editors/code/.gitignore | |
parent | 9a44f627be0b3c49184e3ad594849f9b5ed78daa (diff) | |
parent | 19094abd41fe398c2ba1a3c4926ef50c04eebabb (diff) |
Merge #2786
2786: Proper handling local in hover r=flodiebold a=edwin0cheng
This PR implement back the `Local` hover information generation, which is fall back to a general case catch previously :
https://github.com/rust-analyzer/rust-analyzer/blob/9a44f627be0b3c49184e3ad594849f9b5ed78daa/crates/ra_ide/src/hover.rs#L173-L182
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions