Skip to content

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jun 5, 2021

Otherwise trying to rename a usage that goes through an alias will still rename the aliased item instead, cc #5671
bors r+

@bors
Copy link
Contributor

bors bot commented Jun 5, 2021

@bors bors bot merged commit 4c54ec1 into rust-lang:master Jun 5, 2021
@Veykril Veykril deleted the alias-rename branch June 5, 2021 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant