Add yield_expr feature to remaining code

Author: eholk

compiler/rustc_codegen_gcc/example/std_example.rs

@@ -1,5 +1,5 @@
 #![allow(internal_features)]
-#![feature(core_intrinsics, coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(core_intrinsics, coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 #[cfg(feature="master")]
 #[cfg(target_arch="x86_64")]

compiler/rustc_hir_analysis/src/lib.rs

@@ -59,6 +59,7 @@ This API is completely unstable and subject to change.
 #![allow(internal_features)]
 #![allow(rustc::diagnostic_outside_of_impl)]
 #![allow(rustc::untranslatable_diagnostic)]
+#![cfg_attr(not(bootstrap), feature(yield_expr))]
 #![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")]
 #![doc(rust_logo)]
 #![feature(assert_matches)]

compiler/rustc_metadata/src/lib.rs

@@ -1,5 +1,6 @@
 // tidy-alphabetical-start
 #![allow(internal_features)]
+#![cfg_attr(not(bootstrap), feature(yield_expr))]
 #![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")]
 #![doc(rust_logo)]
 #![feature(coroutines)]

compiler/rustc_middle/src/lib.rs

@@ -29,6 +29,7 @@
 #![allow(rustc::diagnostic_outside_of_impl)]
 #![allow(rustc::potential_query_instability)]
 #![allow(rustc::untranslatable_diagnostic)]
+#![cfg_attr(not(bootstrap), feature(yield_expr))]
 #![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")]
 #![doc(rust_logo)]
 #![feature(allocator_api)]

compiler/rustc_type_ir/src/ty_kind.rs

@@ -199,7 +199,7 @@ pub enum TyKind<I: Interner> {
     /// may end up as something like `for<'a> [Vec<i32>, &'a Vec<i32>]`:
     ///
     /// ```
-    /// #![feature(coroutines)]
+    /// #![feature(coroutines, yield_expr)]
     /// #[coroutine] static |a| {
     ///     let x = &vec![3];
     ///     yield a;

library/core/src/iter/sources/from_coroutine.rs

@@ -11,7 +11,7 @@ use crate::pin::Pin;
 /// # Examples
 ///
 /// ```
-/// #![feature(coroutines)]
+/// #![feature(coroutines, yield_expr)]
 /// #![feature(iter_from_coroutine)]
 ///
 /// let it = std::iter::from_coroutine(#[coroutine] || {

library/core/src/ops/coroutine.rs

@@ -38,7 +38,7 @@ pub enum CoroutineState<Y, R> {
 /// closure-like:
 ///
 /// ```rust
-/// #![feature(coroutines)]
+/// #![feature(coroutines, yield_expr)]
 /// #![feature(coroutine_trait)]
 /// #![feature(stmt_expr_attributes)]
 ///

library/core/src/pin.rs

@@ -1855,7 +1855,7 @@ unsafe impl<T: ?Sized> PinCoerceUnsized for *mut T {}
 /// ### With `Coroutine`s
 ///
 /// ```rust
-/// #![feature(coroutines)]
+/// #![feature(coroutines, yield_expr)]
 /// #![feature(coroutine_trait)]
 /// use core::{
 ///     ops::{Coroutine, CoroutineState},

src/tools/clippy/tests/ui/crashes/ice-5238.rs

@@ -1,7 +1,7 @@
 //@ check-pass
 // Regression test for #5238 / https://github.com/rust-lang/rust/pull/69562
 
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 fn main() {
     let _ = #[coroutine]

src/tools/clippy/tests/ui/redundant_locals.rs

@@ -1,7 +1,7 @@
 //@aux-build:proc_macros.rs
 #![allow(unused, clippy::no_effect, clippy::needless_pass_by_ref_mut)]
 #![warn(clippy::redundant_locals)]
-#![feature(coroutines, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, stmt_expr_attributes)]
 
 extern crate proc_macros;
 use proc_macros::{external, with_span};

src/tools/miri/tests/fail/coroutine-pinned-moved.rs

@@ -1,5 +1,5 @@
 //@compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::ops::{Coroutine, CoroutineState};
 use std::pin::Pin;

src/tools/miri/tests/pass/coroutine.rs

@@ -1,6 +1,6 @@
 //@revisions: stack tree
 //@[tree]compile-flags: -Zmiri-tree-borrows
-#![feature(coroutines, coroutine_trait, never_type, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, never_type, stmt_expr_attributes)]
 
 use std::fmt::Debug;
 use std::mem::ManuallyDrop;

src/tools/miri/tests/pass/stacked-borrows/coroutine-self-referential.rs

@@ -1,6 +1,6 @@
 // See https://github.com/rust-lang/unsafe-code-guidelines/issues/148:
 // this fails when Stacked Borrows is strictly applied even to `!Unpin` types.
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::ops::{Coroutine, CoroutineState};
 use std::pin::Pin;

src/tools/miri/tests/pass/track-caller-attribute.rs

@@ -2,7 +2,7 @@
 #![feature(stmt_expr_attributes)]
 #![feature(closure_track_caller)]
 #![feature(coroutine_trait)]
-#![feature(coroutines)]
+#![feature(coroutines, yield_expr)]
 
 use std::ops::{Coroutine, CoroutineState};
 use std::panic::Location;

src/tools/rust-analyzer/crates/ide-db/src/generated/lints.rs

@@ -4980,7 +4980,7 @@ tweaks to the overall design.
 A syntactical example of a coroutine is:
 
 ```rust
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::ops::{Coroutine, CoroutineState};
 use std::pin::Pin;
@@ -5013,7 +5013,7 @@ An example of the control flow of coroutines is that the following example
 prints all numbers in order:
 
 ```rust
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::ops::Coroutine;
 use std::pin::Pin;
@@ -5118,7 +5118,7 @@ which point all state is saved off in the coroutine and a value is returned.
 Let's take a look at an example to see what's going on here:
 
 ```rust
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::ops::Coroutine;
 use std::pin::Pin;

src/tools/rustfmt/tests/source/immovable_coroutines.rs

@@ -1,4 +1,4 @@
-#![feature(coroutines)]
+#![feature(coroutines, yield_expr)]
 
 unsafe fn foo() {
     let mut ga = #[coroutine]

src/tools/rustfmt/tests/target/immovable_coroutines.rs

@@ -1,4 +1,4 @@
-#![feature(coroutines)]
+#![feature(coroutines, yield_expr)]
 
 unsafe fn foo() {
     let mut ga = #[coroutine]

tests/codegen/coroutine-debug-msvc.rs

@@ -7,7 +7,7 @@
 //@ compile-flags: -C debuginfo=2
 //@ only-msvc
 
-#![feature(coroutines, coroutine_trait)]
+#![feature(coroutines, yield_expr, coroutine_trait)]
 use std::ops::Coroutine;
 
 fn coroutine_test() -> impl Coroutine<Yield = i32, Return = ()> {

tests/codegen/coroutine-debug.rs

@@ -7,7 +7,7 @@
 //@ compile-flags: -C debuginfo=2 --edition=2018
 //@ ignore-msvc
 
-#![feature(coroutines, coroutine_trait)]
+#![feature(coroutines, yield_expr, coroutine_trait)]
 use std::ops::Coroutine;
 
 fn coroutine_test() -> impl Coroutine<Yield = i32, Return = ()> {

tests/codegen/issues/issue-98678-closure-coroutine.rs

@@ -2,7 +2,7 @@
 //! This test verifies the accuracy of emitted file and line debuginfo metadata for closures and
 //! coroutines.
 
-#![feature(coroutines, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, stmt_expr_attributes)]
 
 //@ revisions: MSVC NONMSVC
 //@[MSVC] only-msvc

tests/coverage/coroutine.rs

@@ -1,4 +1,4 @@
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::ops::{Coroutine, CoroutineState};
 use std::pin::Pin;

tests/coverage/yield.rs

@@ -1,4 +1,4 @@
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 #![allow(unused_assignments)]
 
 use std::ops::{Coroutine, CoroutineState};

tests/debuginfo/coroutine-locals.rs

@@ -44,7 +44,8 @@
 // lldb-command:v c
 // lldb-check:(int) c = 6
 
-#![feature(omit_gdb_pretty_printer_section, coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(omit_gdb_pretty_printer_section, coroutines, yield_expr, coroutine_trait,
+    stmt_expr_attributes)]
 #![omit_gdb_pretty_printer_section]
 
 use std::ops::Coroutine;

tests/debuginfo/coroutine-objects.rs

@@ -53,7 +53,8 @@
 // cdb-check: b                : Returned [Type: enum2$<coroutine_objects::main::coroutine_env$0>]
 // cdb-check:    [+0x[...]] _ref__a          : 0x[...] : 6 [Type: int *]
 
-#![feature(omit_gdb_pretty_printer_section, coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(omit_gdb_pretty_printer_section, coroutines, yield_expr, coroutine_trait,
+    stmt_expr_attributes)]
 #![omit_gdb_pretty_printer_section]
 
 use std::ops::Coroutine;

tests/debuginfo/function-names.rs

@@ -80,7 +80,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
-#![feature(adt_const_params, coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(adt_const_params, coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 #![allow(incomplete_features)]
 
 use std::ops::Coroutine;

tests/debuginfo/issue-57822.rs

@@ -24,7 +24,8 @@
 // lldb-command:v b
 // lldb-check:(issue_57822::main::{coroutine_env#3}) b = { value = { a = { value = { y = 2 } $discr$ = '\x02' } } $discr$ = '\x02' }
 
-#![feature(omit_gdb_pretty_printer_section, coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(omit_gdb_pretty_printer_section, coroutines, yield_expr, coroutine_trait,
+    stmt_expr_attributes)]
 #![omit_gdb_pretty_printer_section]
 
 use std::ops::Coroutine;

tests/mir-opt/coroutine_drop_cleanup.rs

@@ -1,5 +1,5 @@
 // skip-filecheck
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 

tests/mir-opt/coroutine_storage_dead_unwind.rs

@@ -6,7 +6,7 @@
 // Basic block and local names can safely change, but the StorageDead statements
 // should not go away.
 
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 struct Foo(i32);
 

tests/mir-opt/coroutine_tiny.rs

@@ -5,7 +5,7 @@
 //@ compile-flags: -C panic=abort
 //@ no-prefer-dynamic
 
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 struct HasDrop;
 

tests/mir-opt/inline/inline_coroutine.rs

@@ -1,6 +1,6 @@
 // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
 //@ compile-flags: -Zinline-mir-hint-threshold=1000 -C debuginfo=full
-#![feature(coroutines, coroutine_trait)]
+#![feature(coroutines, yield_expr, coroutine_trait)]
 
 use std::ops::Coroutine;
 use std::pin::Pin;

tests/ui/async-await/coroutine-not-future.rs

@@ -1,6 +1,6 @@
 //@ edition:2018
 //@compile-flags: --diagnostic-width=300
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::future::Future;
 use std::ops::Coroutine;

tests/ui/async-await/for-await-passthrough.rs

@@ -1,6 +1,6 @@
 //@ run-pass
 //@ edition: 2024
-#![feature(async_iterator, async_iter_from_iter, async_for_loop, gen_blocks)]
+#![feature(async_iterator, async_iter_from_iter, async_for_loop, gen_blocks, yield_expr)]
 
 async gen fn async_iter() -> i32 {
     let iter = core::async_iter::from_iter(0..3);

tests/ui/async-await/issues/issue-65419/issue-65419-async-fn-resume-after-completion.rs

@@ -6,7 +6,7 @@
 //@ error-pattern: `async fn` resumed after completion
 //@ edition:2018
 
-#![feature(coroutines, coroutine_trait)]
+#![feature(coroutines, yield_expr, coroutine_trait)]
 
 async fn foo() {
 }

tests/ui/async-await/issues/issue-65419/issue-65419-async-fn-resume-after-panic.rs

@@ -7,7 +7,7 @@
 //@ error-pattern: `async fn` resumed after panicking
 //@ edition:2018
 
-#![feature(coroutines, coroutine_trait)]
+#![feature(coroutines, yield_expr, coroutine_trait)]
 
 use std::panic;
 

tests/ui/async-await/issues/issue-65419/issue-65419-coroutine-resume-after-completion.rs

@@ -6,7 +6,7 @@
 //@ error-pattern:coroutine resumed after completion
 //@ edition:2018
 
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::{ops::Coroutine, pin::Pin};
 

tests/ui/async-await/non-trivial-drop.rs

@@ -1,7 +1,7 @@
 //@ build-pass
 //@ edition:2018
 
-#![feature(coroutines)]
+#![feature(coroutines, yield_expr)]
 
 fn main() {
     foo();

tests/ui/coherence/coherence-with-coroutine.rs

@@ -1,5 +1,5 @@
 // Test that encountering closures during coherence does not cause issues.
-#![feature(type_alias_impl_trait, coroutines)]
+#![feature(type_alias_impl_trait, coroutines, yield_expr)]
 #![cfg_attr(specialized, feature(specialization))]
 #![allow(incomplete_features)]
 

tests/ui/coroutine/addassign-yield.rs

@@ -5,7 +5,7 @@
 // is being used), we were failing to account for all types that might
 // possibly be live across a yield point.
 
-#![feature(coroutines, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, stmt_expr_attributes)]
 
 fn foo() {
     let _x = #[coroutine] static || {

tests/ui/coroutine/arg-count-mismatch-on-unit-input.rs

@@ -1,4 +1,4 @@
-#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, coroutine_trait, stmt_expr_attributes)]
 
 use std::ops::Coroutine;
 

tests/ui/coroutine/async-coroutine-issue-67158.rs

@@ -1,4 +1,4 @@
-#![feature(coroutines)]
+#![feature(coroutines, yield_expr)]
 //@ edition:2018
 // Regression test for #67158.
 fn main() {

tests/ui/coroutine/async-gen-deduce-yield.rs

@@ -1,7 +1,7 @@
 //@ compile-flags: --edition 2024
 //@ check-pass
 
-#![feature(async_iterator, gen_blocks)]
+#![feature(async_iterator, gen_blocks, yield_expr)]
 
 use std::async_iter::AsyncIterator;
 

tests/ui/coroutine/async-gen-yield-ty-is-unit.rs

@@ -1,7 +1,7 @@
 //@ compile-flags: --edition 2024
 //@ check-pass
 
-#![feature(async_iterator, gen_blocks)]
+#![feature(async_iterator, gen_blocks, yield_expr)]
 
 use std::{async_iter::AsyncIterator, pin::pin, task::{Context, Waker}};
 

tests/ui/coroutine/async_gen_fn_iter.rs

@@ -1,7 +1,7 @@
 //@ edition: 2024
 //@ run-pass
 
-#![feature(gen_blocks, async_iterator)]
+#![feature(gen_blocks, async_iterator, yield_expr)]
 
 // make sure that a ridiculously simple async gen fn works as an iterator.
 

tests/ui/coroutine/auto-trait-regions.rs

@@ -1,4 +1,4 @@
-#![feature(coroutines, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, stmt_expr_attributes)]
 #![feature(auto_traits)]
 #![feature(negative_impls)]
 

tests/ui/coroutine/auxiliary/metadata-sufficient-for-layout.rs

@@ -1,5 +1,5 @@
 //@ compile-flags: --emit metadata
-#![feature(coroutines, coroutine_trait)]
+#![feature(coroutines, yield_expr, coroutine_trait)]
 
 use std::marker::Unpin;
 use std::ops::Coroutine;

tests/ui/coroutine/auxiliary/unwind-aux.rs

@@ -2,7 +2,7 @@
 //@ no-prefer-dynamic
 //@ edition:2021
 
-#![feature(coroutines, stmt_expr_attributes)]
+#![feature(coroutines, yield_expr, stmt_expr_attributes)]
 pub fn run<T>(a: T) {
     let _ = #[coroutine]
     move || {