-
Notifications
You must be signed in to change notification settings - Fork 13k
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
collect doc alias as tips during resolution #127721
base: master
Are you sure you want to change the base?
Conversation
In general I'd prefer to maybe not do this at all for the local crate. |
Agree and accept this suggestion. @rustbot ready |
☔ The latest upstream changes (presumably #128155) made this pull request unmergeable. Please resolve the merge conflicts. |
@bvanjoi triage here, any interest in rebasing this? |
@bvanjoi |
Rebased. @rustbot ready |
☔ The latest upstream changes (presumably #131448) made this pull request unmergeable. Please resolve the merge conflicts. |
Update: Fixes the incorrect submodule... |
☔ The latest upstream changes (presumably #132661) made this pull request unmergeable. Please resolve the merge conflicts. |
Close #124273
Collect the symbol in the doc alias attributes and provide a tip when a match is found.
r? @estebank