-
Notifications
You must be signed in to change notification settings - Fork 13.3k
resolve: Partially unify early and late scope-relative identifier resolution #83103
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
r? @lcnr (rust-highfive has picked a reviewer for you, use r? to override) |
This comment has been minimized.
This comment has been minimized.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this looks fairly good to me but I have pretty much no experience with early resolution.
not sure who is more knowledgeable here, maybe
r? @Aaron1011
r=me with the comment added. |
@bors r=Aaron1011 |
📌 Commit ee0357a has been approved by |
☀️ Test successful - checks-actions |
Reuse
early_resolve_ident_in_lexical_scope
instead of a chunk of code inresolve_ident_in_lexical_scope
doing the same job.early_resolve_ident_in_lexical_scope
/visit_scopes
had to be slightly extended to be able to 1) start from a specific module instead of the current parent scope and 2) report one deprecation lint.early_resolve_ident_in_lexical_scope
still doesn't support walking through "ribs", that part is left inresolve_ident_in_lexical_scope
(moreover, I'm pretty sure it's buggy, but that's a separate issue, cc #52389 at least).