-
Notifications
You must be signed in to change notification settings - Fork 1.6k
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
fix: Properly account for editions in names #17905
fix: Properly account for editions in names #17905
Conversation
a7462d0
to
9d3cd5a
Compare
I didn't know we run Clippy! |
3ef8fe7
to
28f004a
Compare
Fixed all comments. |
28f004a
to
e610a81
Compare
r=me with that last thing fixed, thanks! |
✌️ @ChayimFriedman2, you can now approve this pull request! If @Veykril told you to " |
This PR touches a lot of parts. But the main changes are changing `hir_expand::Name` to be raw edition-dependently and only when necessary (unrelated to how the user originally wrote the identifier), and changing `is_keyword()` and `is_raw_identifier()` to be edition-aware (this was done in rust-lang#17896, but the FIXMEs were fixed here). It is possible that I missed some cases, but most IDE parts should properly escape (or not escape) identifiers now. The rules of thumb are: - If we show the identifier to the user, its rawness should be determined by the edition of the edited crate. This is nice for IDE features, but really important for changes we insert to the source code. - For tests, I chose `Edition::CURRENT` (so we only have to (maybe) update tests when an edition becomes stable, to avoid churn). - For debugging tools (helper methods and logs), I used `Edition::LATEST`.
e610a81
to
9d3368f
Compare
☀️ Test successful - checks-actions |
Turns out I was dumb, that function is something I introduced in a non yet merged branch of mine 🙃 apologies for that confusion |
This PR touches a lot of parts. But the main changes are changing
hir_expand::Name
to be raw edition-dependently and only when necessary (unrelated to how the user originally wrote the identifier), and changingis_keyword()
andis_raw_identifier()
to be edition-aware (this was done in #17896, but the FIXMEs were fixed here).It is possible that I missed some cases, but most IDE parts should properly escape (or not escape) identifiers now.
The rules of thumb are:
Edition::CURRENT
(so we only have to (maybe) update tests when an edition becomes stable, to avoid churn).Edition::LATEST
.Reviewing notes:
This is a really big PR but most of it is mechanical translation. I changed
Name
displayers to require an edition, and followed the compiler errors. Most methods just propagate the edition requirement. The interesting cases are mostly inide-assists
, as sometimes the correct crate to fetch the edition from requires awareness (there may be two).ide-completions
andide-diagnostics
were solved pretty easily by introducing an edition field to their context.ide
contains many features, for most of them it was propagated to the top level function and there the edition was fetched based on the file.I also fixed all FIXMEs from #17896. Some required introducing an edition parameter (usually not for many methods after the changes to
Name
), some were changed to a new methodis_any_identifier()
because they really want any possible keyword.Fixes #17895.
Fixes #17774.