diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-15 06:27:59 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-11-15 06:27:59 +0000 |
| commit | a6d080608db1bcc2a2f8fc586d8a5d3c85e50763 (patch) | |
| tree | 70a40132208527395890715e6b9c6cbfe38c972c /docs/user | |
| parent | ae6a803c0a38a423f2987b04283ec27900c80f0c (diff) | |
| parent | 89647f93c499f2db186e8d216e3d279c0ae9fb70 (diff) | |
Merge #2249
2249: Cleanup hover r=matklad a=kjeremy
Take advantage of classify_name to consolidate multiple hover paths. This isn't quite as clean as I want it to be (`no_fallback` bool is wonky). There's a relationship between `HoverResult` being empty and the range that is a little warty.
Also I noticed that HoverResults are always marked as exact and have been for quite a while... maybe that should be removed in another PR.
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions