diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-10 20:44:21 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-10 20:44:21 +0000 |
| commit | 9bee2937b4289315714b778ba38ab0e7c2a623fe (patch) | |
| tree | ec9a223b23f7675a8e0eb1d12c454adc9551baf2 /.gitignore | |
| parent | dc2a8d5acc53054c86ad17260b69d4bf4f14dbc6 (diff) | |
| parent | a6590ce2318676210b6b5a197b76b5861a3407c9 (diff) | |
Merge #463
463: Use name resolution for goto definition r=matklad a=flodiebold
This tries proper name resolution before falling back on the index.
@matklad There was currently no way of getting the location of a `DefId` from outside `ra_hir`. I added something, but it's probably not the best API, maybe you have a better idea?
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions