rustc_feature: Separate "renamed" features from "removed" features#155129
Open
nik-rev wants to merge 1 commit intorust-lang:mainfrom
Open
rustc_feature: Separate "renamed" features from "removed" features#155129nik-rev wants to merge 1 commit intorust-lang:mainfrom
rustc_feature: Separate "renamed" features from "removed" features#155129nik-rev wants to merge 1 commit intorust-lang:mainfrom
Conversation
Collaborator
|
rustbot has assigned @jdonszelmann. Use Why was this reviewer chosen?The reviewer was selected based on:
|
This comment has been minimized.
This comment has been minimized.
07786ce to
f970aca
Compare
This comment has been minimized.
This comment has been minimized.
f970aca to
465bdd7
Compare
This comment has been minimized.
This comment has been minimized.
465bdd7 to
47f4436
Compare
This comment has been minimized.
This comment has been minimized.
47f4436 to
664fbe8
Compare
This comment has been minimized.
This comment has been minimized.
abdc8a8 to
0c0cf8f
Compare
0c0cf8f to
1876340
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
There are quite a few "renamed" features that are grouped in the same category as "removed".
So I've split them up into a separate
renamed.rsfile, and added a new category for "Renamed" features.This has the following advantages:
tidyscript is updated to check that the new feature names actually exist.