diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-17 11:00:39 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-17 11:00:39 +0000 |
commit | d641bccb0ffec543fa444ba523e8d4b63078fa53 (patch) | |
tree | 6695e5ebfeb9563bf5358a0cb89abe8456ac9172 /crates/syntax/src/ptr.rs | |
parent | d21f5f7d6e13b93d64235f13ac18e447af8d59e4 (diff) | |
parent | 55faa2daa3fc8bd213038a012b1c5e9ad5fd3736 (diff) |
Merge #6907
6907: Lifetime reference search r=matklad a=Veykril
PR #6787 but rewritten to make use of the HIR now. This only applies to Lifetimes, not labels. Also Higher-Ranked Trait Bounds aren't supported yet, but I feel like this PR is big enough as is which is why I left them out after noticing I forgot about them.
Supporting renaming required slight changes in the renaming module as lifetime names aren't allowed for anything but lifetimes(and labels) and vice versa for normal names.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/syntax/src/ptr.rs')
0 files changed, 0 insertions, 0 deletions