Skip to content

Commit aad5a60

Browse files
committed
sembr src/stabilization_guide.md
1 parent 9a57f62 commit aad5a60

File tree

1 file changed

+40
-16
lines changed

1 file changed

+40
-16
lines changed

src/stabilization_guide.md

Lines changed: 40 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,12 @@
11
# Request for stabilization
22

3-
**NOTE**: This page is about stabilizing *language* features. For stabilizing *library* features, see [Stabilizing a library feature].
3+
**NOTE**: This page is about stabilizing *language* features.
4+
For stabilizing *library* features, see [Stabilizing a library feature].
45

56
[Stabilizing a library feature]: ./stability.md#stabilizing-a-library-feature
67

7-
Once an unstable feature has been well-tested with no outstanding concerns, anyone may push for its stabilization, though involving the people who have worked on it is prudent. Follow these steps:
8+
Once an unstable feature has been well-tested with no outstanding concerns, anyone may push for its stabilization, though involving the people who have worked on it is prudent.
9+
Follow these steps:
810

911
## Write an RFC, if needed
1012

@@ -16,16 +18,23 @@ If the feature was part of a [lang experiment], the lang team generally will wan
1618

1719
<a id="updating-documentation"></a>
1820

19-
The feature might be documented in the [`Unstable Book`], located at [`src/doc/unstable-book`]. Remove the page for the feature gate if it exists. Integrate any useful parts of that documentation in other places.
21+
The feature might be documented in the [`Unstable Book`], located at [`src/doc/unstable-book`].
22+
Remove the page for the feature gate if it exists.
23+
Integrate any useful parts of that documentation in other places.
2024

2125
Places that may need updated documentation include:
2226

2327
- [The Reference]: This must be updated, in full detail, and a member of the lang-docs team must review and approve the PR before the stabilization can be merged.
24-
- [The Book]: This is updated as needed. If you're not sure, please open an issue on this repository and it can be discussed.
25-
- Standard library documentation: This is updated as needed. Language features often don't need this, but if it's a feature that changes how idiomatic examples are written, such as when `?` was added to the language, updating these in the library documentation is important. Review also the keyword documentation and ABI documentation in the standard library, as these sometimes needs updates for language changes.
28+
- [The Book]: This is updated as needed.
29+
If you're not sure, please open an issue on this repository and it can be discussed.
30+
- Standard library documentation: This is updated as needed.
31+
Language features often don't need this, but if it's a feature that changes how idiomatic examples are written, such as when `?` was added to the language, updating these in the library documentation is important.
32+
Review also the keyword documentation and ABI documentation in the standard library, as these sometimes needs updates for language changes.
2633
- [Rust by Example]: This is updated as needed.
2734

28-
Prepare PRs to update documentation involving this new feature for the repositories mentioned above. Maintainers of these repositories will keep these PRs open until the whole stabilization process has completed. Meanwhile, we can proceed to the next step.
35+
Prepare PRs to update documentation involving this new feature for the repositories mentioned above.
36+
Maintainers of these repositories will keep these PRs open until the whole stabilization process has completed.
37+
Meanwhile, we can proceed to the next step.
2938

3039
## Write a stabilization report
3140

@@ -34,7 +43,8 @@ Author a stabilization report using the [template found in this repository][srt]
3443
The stabilization reports summarizes:
3544

3645
- The main design decisions and deviations since the RFC was accepted, including both decisions that were FCP'd or otherwise accepted by the language team as well as those being presented to the lang team for the first time.
37-
- Often, the final stabilized language feature has significant design deviations from the original RFC. That's OK, but these deviations must be highlighted and explained carefully.
46+
- Often, the final stabilized language feature has significant design deviations from the original RFC.
47+
That's OK, but these deviations must be highlighted and explained carefully.
3848
- The work that has been done since the RFC was accepted, acknowledging the main contributors that helped drive the language feature forward.
3949

4050
The [*Stabilization Template*][srt] includes a series of questions that aim to surface connections between this feature and lang's subteams (e.g. types, opsem, lang-docs, etc.) and to identify items that are commonly overlooked.
@@ -51,14 +61,18 @@ Before the stabilization will be considered by the lang team, there must be a co
5161

5262
### Updating the feature-gate listing
5363

54-
There is a central listing of unstable feature-gates in [`compiler/rustc_feature/src/unstable.rs`]. Search for the `declare_features!` macro. There should be an entry for the feature you are aiming to stabilize, something like (this example is taken from [rust-lang/rust#32409]:
64+
There is a central listing of unstable feature-gates in [`compiler/rustc_feature/src/unstable.rs`].
65+
Search for the `declare_features!` macro.
66+
There should be an entry for the feature you are aiming to stabilize, something like (this example is taken from [rust-lang/rust#32409]:
5567

5668
```rust,ignore
5769
// pub(restricted) visibilities (RFC 1422)
5870
(unstable, pub_restricted, "CURRENT_RUSTC_VERSION", Some(32409)),
5971
```
6072

61-
The above line should be moved to [`compiler/rustc_feature/src/accepted.rs`]. Entries in the `declare_features!` call are sorted, so find the correct place. When it is done, it should look like:
73+
The above line should be moved to [`compiler/rustc_feature/src/accepted.rs`].
74+
Entries in the `declare_features!` call are sorted, so find the correct place.
75+
When it is done, it should look like:
6276

6377
```rust,ignore
6478
// pub(restricted) visibilities (RFC 1422)
@@ -70,27 +84,34 @@ The above line should be moved to [`compiler/rustc_feature/src/accepted.rs`]. En
7084

7185
### Removing existing uses of the feature-gate
7286

73-
Next, search for the feature string (in this case, `pub_restricted`) in the codebase to find where it appears. Change uses of `#![feature(XXX)]` from the `std` and any rustc crates (this includes test folders under `library/` and `compiler/` but not the toplevel `tests/` one) to be `#![cfg_attr(bootstrap, feature(XXX))]`. This includes the feature-gate only for stage0, which is built using the current beta (this is needed because the feature is still unstable in the current beta).
87+
Next, search for the feature string (in this case, `pub_restricted`) in the codebase to find where it appears.
88+
Change uses of `#![feature(XXX)]` from the `std` and any rustc crates (this includes test folders under `library/` and `compiler/` but not the toplevel `tests/` one) to be `#![cfg_attr(bootstrap, feature(XXX))]`.
89+
This includes the feature-gate only for stage0, which is built using the current beta (this is needed because the feature is still unstable in the current beta).
7490

7591
Also, remove those strings from any tests (e.g. under `tests/`). If there are tests specifically targeting the feature-gate (i.e., testing that the feature-gate is required to use the feature, but nothing else), simply remove the test.
7692

7793
### Do not require the feature-gate to use the feature
7894

79-
Most importantly, remove the code which flags an error if the feature-gate is not present (since the feature is now considered stable). If the feature can be detected because it employs some new syntax, then a common place for that code to be is in `compiler/rustc_ast_passes/src/feature_gate.rs`. For example, you might see code like this:
95+
Most importantly, remove the code which flags an error if the feature-gate is not present (since the feature is now considered stable).
96+
If the feature can be detected because it employs some new syntax, then a common place for that code to be is in `compiler/rustc_ast_passes/src/feature_gate.rs`.
97+
For example, you might see code like this:
8098

8199
```rust,ignore
82100
gate_all!(pub_restricted, "`pub(restricted)` syntax is experimental");
83101
```
84102

85-
The `gate_all!` macro reports an error if the `pub_restricted` feature is not enabled. It is not needed now that `pub(restricted)` is stable.
103+
The `gate_all!` macro reports an error if the `pub_restricted` feature is not enabled.
104+
It is not needed now that `pub(restricted)` is stable.
86105

87106
For more subtle features, you may find code like this:
88107

89108
```rust,ignore
90109
if self.tcx.features().async_fn_in_dyn_trait() { /* XXX */ }
91110
```
92111

93-
This `pub_restricted` field (named after the feature) would ordinarily be false if the feature flag is not present and true if it is. So transform the code to assume that the field is true. In this case, that would mean removing the `if` and leaving just the `/* XXX */`.
112+
This `pub_restricted` field (named after the feature) would ordinarily be false if the feature flag is not present and true if it is.
113+
So transform the code to assume that the field is true.
114+
In this case, that would mean removing the `if` and leaving just the `/* XXX */`.
94115

95116
```rust,ignore
96117
if self.tcx.sess.features.borrow().pub_restricted { /* XXX */ }
@@ -126,7 +147,8 @@ When opening the stabilization PR, CC the lang team and its advisors (`@rust-lan
126147
- `@rust-lang/libs-api`, for changes to the standard library API or its guarantees.
127148
- `@rust-lang/lang-docs`, for questions about how this should be documented in the Reference.
128149

129-
After the stabilization PR is opened with the stabilization report, wait a bit for any immediate comments. When such comments "simmer down" and you feel the PR is ready for consideration by the lang team, [nominate the PR](https://lang-team.rust-lang.org/how_to/nominate.html) to get it on the agenda for consideration in an upcoming lang meeting.
150+
After the stabilization PR is opened with the stabilization report, wait a bit for any immediate comments.
151+
When such comments "simmer down" and you feel the PR is ready for consideration by the lang team, [nominate the PR](https://lang-team.rust-lang.org/how_to/nominate.html) to get it on the agenda for consideration in an upcoming lang meeting.
130152

131153
If you are not a `rust-lang` organization member, you can ask your assigned reviewer to CC the relevant teams on your behalf.
132154

@@ -138,7 +160,8 @@ After the lang team and other relevant teams review the stabilization, and after
138160
@rfcbot fcp merge
139161
```
140162

141-
Once enough team members have reviewed, the PR will move into a "final comment period" (FCP). If no new concerns are raised, this period will complete and the PR can be merged after implementation review in the usual way.
163+
Once enough team members have reviewed, the PR will move into a "final comment period" (FCP).
164+
If no new concerns are raised, this period will complete and the PR can be merged after implementation review in the usual way.
142165

143166
## Reviewing and merging stabilizations
144167

@@ -151,4 +174,5 @@ On a stabilization, before giving it the `r+`, ensure that the PR:
151174
- Has sufficient tests to convincingly demonstrate these things.
152175
- Is accompanied by a PR to the Reference than has been reviewed and approved by a member of lang-docs.
153176

154-
In particular, when reviewing the PR, keep an eye out for any user-visible details that the lang team failed to consider and specify. If you find one, describe it and nominate the PR for the lang team.
177+
In particular, when reviewing the PR, keep an eye out for any user-visible details that the lang team failed to consider and specify.
178+
If you find one, describe it and nominate the PR for the lang team.

0 commit comments

Comments
 (0)