Rename lots of files that had generator in their name

This commit is contained in:
Oli Scherer 2023-10-20 10:06:08 +00:00
parent 8c66e117e2
commit af93c20c06
63 changed files with 81 additions and 81 deletions

View File

@ -1,5 +1,5 @@
error[E0308]: mismatched types
--> $DIR/generator-desc.rs:10:19
--> $DIR/coroutine-desc.rs:10:19
|
LL | fun(async {}, async {});
| --- -------- ^^^^^^^^ expected `async` block, found a different `async` block
@ -7,16 +7,16 @@ LL | fun(async {}, async {});
| | the expected `async` block
| arguments to this function are incorrect
|
= note: expected `async` block `{async block@$DIR/generator-desc.rs:10:9: 10:17}`
found `async` block `{async block@$DIR/generator-desc.rs:10:19: 10:27}`
= note: expected `async` block `{async block@$DIR/coroutine-desc.rs:10:9: 10:17}`
found `async` block `{async block@$DIR/coroutine-desc.rs:10:19: 10:27}`
note: function defined here
--> $DIR/generator-desc.rs:8:4
--> $DIR/coroutine-desc.rs:8:4
|
LL | fn fun<F: Future<Output = ()>>(f1: F, f2: F) {}
| ^^^ -----
error[E0308]: mismatched types
--> $DIR/generator-desc.rs:12:16
--> $DIR/coroutine-desc.rs:12:16
|
LL | fun(one(), two());
| --- ^^^^^ expected future, found a different future
@ -26,13 +26,13 @@ LL | fun(one(), two());
= help: consider `await`ing on both `Future`s
= note: distinct uses of `impl Trait` result in different opaque types
note: function defined here
--> $DIR/generator-desc.rs:8:4
--> $DIR/coroutine-desc.rs:8:4
|
LL | fn fun<F: Future<Output = ()>>(f1: F, f2: F) {}
| ^^^ -----
error[E0308]: mismatched types
--> $DIR/generator-desc.rs:14:26
--> $DIR/coroutine-desc.rs:14:26
|
LL | fun((async || {})(), (async || {})());
| --- -- ^^^^^^^^^^^^^^^ expected `async` closure body, found a different `async` closure body
@ -40,10 +40,10 @@ LL | fun((async || {})(), (async || {})());
| | the expected `async` closure body
| arguments to this function are incorrect
|
= note: expected `async` closure body `{async closure body@$DIR/generator-desc.rs:14:19: 14:21}`
found `async` closure body `{async closure body@$DIR/generator-desc.rs:14:36: 14:38}`
= note: expected `async` closure body `{async closure body@$DIR/coroutine-desc.rs:14:19: 14:21}`
found `async` closure body `{async closure body@$DIR/coroutine-desc.rs:14:36: 14:38}`
note: function defined here
--> $DIR/generator-desc.rs:8:4
--> $DIR/coroutine-desc.rs:8:4
|
LL | fn fun<F: Future<Output = ()>>(f1: F, f2: F) {}
| ^^^ -----

View File

@ -1,5 +1,5 @@
error[E0277]: the trait bound `impl Future<Output = ()>: Coroutine<_>` is not satisfied
--> $DIR/generator-not-future.rs:31:21
--> $DIR/coroutine-not-future.rs:31:21
|
LL | takes_coroutine(async_fn());
| --------------- ^^^^^^^^^^ the trait `Coroutine<_>` is not implemented for `impl Future<Output = ()>`
@ -7,13 +7,13 @@ LL | takes_coroutine(async_fn());
| required by a bound introduced by this call
|
note: required by a bound in `takes_coroutine`
--> $DIR/generator-not-future.rs:18:39
--> $DIR/coroutine-not-future.rs:18:39
|
LL | fn takes_coroutine<ResumeTy>(_g: impl Coroutine<ResumeTy, Yield = (), Return = ()>) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `takes_coroutine`
error[E0277]: the trait bound `impl Future<Output = ()>: Coroutine<_>` is not satisfied
--> $DIR/generator-not-future.rs:33:21
--> $DIR/coroutine-not-future.rs:33:21
|
LL | takes_coroutine(returns_async_block());
| --------------- ^^^^^^^^^^^^^^^^^^^^^ the trait `Coroutine<_>` is not implemented for `impl Future<Output = ()>`
@ -21,27 +21,27 @@ LL | takes_coroutine(returns_async_block());
| required by a bound introduced by this call
|
note: required by a bound in `takes_coroutine`
--> $DIR/generator-not-future.rs:18:39
--> $DIR/coroutine-not-future.rs:18:39
|
LL | fn takes_coroutine<ResumeTy>(_g: impl Coroutine<ResumeTy, Yield = (), Return = ()>) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `takes_coroutine`
error[E0277]: the trait bound `{async block@$DIR/generator-not-future.rs:35:21: 35:29}: Coroutine<_>` is not satisfied
--> $DIR/generator-not-future.rs:35:21
error[E0277]: the trait bound `{async block@$DIR/coroutine-not-future.rs:35:21: 35:29}: Coroutine<_>` is not satisfied
--> $DIR/coroutine-not-future.rs:35:21
|
LL | takes_coroutine(async {});
| --------------- ^^^^^^^^ the trait `Coroutine<_>` is not implemented for `{async block@$DIR/generator-not-future.rs:35:21: 35:29}`
| --------------- ^^^^^^^^ the trait `Coroutine<_>` is not implemented for `{async block@$DIR/coroutine-not-future.rs:35:21: 35:29}`
| |
| required by a bound introduced by this call
|
note: required by a bound in `takes_coroutine`
--> $DIR/generator-not-future.rs:18:39
--> $DIR/coroutine-not-future.rs:18:39
|
LL | fn takes_coroutine<ResumeTy>(_g: impl Coroutine<ResumeTy, Yield = (), Return = ()>) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `takes_coroutine`
error[E0277]: `impl Coroutine<Yield = (), Return = ()>` is not a future
--> $DIR/generator-not-future.rs:39:18
--> $DIR/coroutine-not-future.rs:39:18
|
LL | takes_future(returns_coroutine());
| ------------ ^^^^^^^^^^^^^^^^^^^ `impl Coroutine<Yield = (), Return = ()>` is not a future
@ -51,13 +51,13 @@ LL | takes_future(returns_coroutine());
= help: the trait `Future` is not implemented for `impl Coroutine<Yield = (), Return = ()>`
= note: impl Coroutine<Yield = (), Return = ()> must be a future or must implement `IntoFuture` to be awaited
note: required by a bound in `takes_future`
--> $DIR/generator-not-future.rs:17:26
--> $DIR/coroutine-not-future.rs:17:26
|
LL | fn takes_future(_f: impl Future<Output = ()>) {}
| ^^^^^^^^^^^^^^^^^^^ required by this bound in `takes_future`
error[E0277]: `{coroutine@$DIR/generator-not-future.rs:41:18: 41:23}` is not a future
--> $DIR/generator-not-future.rs:41:18
error[E0277]: `{coroutine@$DIR/coroutine-not-future.rs:41:18: 41:23}` is not a future
--> $DIR/coroutine-not-future.rs:41:18
|
LL | takes_future(|ctx| {
| _____------------_^
@ -66,12 +66,12 @@ LL | takes_future(|ctx| {
LL | |
LL | | ctx = yield ();
LL | | });
| |_____^ `{coroutine@$DIR/generator-not-future.rs:41:18: 41:23}` is not a future
| |_____^ `{coroutine@$DIR/coroutine-not-future.rs:41:18: 41:23}` is not a future
|
= help: the trait `Future` is not implemented for `{coroutine@$DIR/generator-not-future.rs:41:18: 41:23}`
= note: {coroutine@$DIR/generator-not-future.rs:41:18: 41:23} must be a future or must implement `IntoFuture` to be awaited
= help: the trait `Future` is not implemented for `{coroutine@$DIR/coroutine-not-future.rs:41:18: 41:23}`
= note: {coroutine@$DIR/coroutine-not-future.rs:41:18: 41:23} must be a future or must implement `IntoFuture` to be awaited
note: required by a bound in `takes_future`
--> $DIR/generator-not-future.rs:17:26
--> $DIR/coroutine-not-future.rs:17:26
|
LL | fn takes_future(_f: impl Future<Output = ()>) {}
| ^^^^^^^^^^^^^^^^^^^ required by this bound in `takes_future`

View File

@ -1,5 +1,5 @@
error[E0119]: conflicting implementations of trait `Trait` for type `Wrapper<OpaqueCoroutine>`
--> $DIR/coherence-with-generator.rs:21:1
--> $DIR/coherence-with-coroutine.rs:21:1
|
LL | impl Trait for Wrapper<OpaqueCoroutine> {}
| --------------------------------------- first implementation here

View File

@ -1,5 +1,5 @@
error[E0727]: `async` coroutines are not yet supported
--> $DIR/async-generator-issue-67158.rs:5:13
--> $DIR/async-coroutine-issue-67158.rs:5:13
|
LL | async { yield print!(":C") };
| ^^^^^^^^^^^^^^^^^^

View File

@ -1,5 +1,5 @@
error: lifetime may not live long enough
--> $DIR/generator-region-requirements.rs:12:51
--> $DIR/coroutine-region-requirements.rs:12:51
|
LL | fn dangle(x: &mut i32) -> &'static mut i32 {
| - let's call the lifetime of this reference `'1`

View File

@ -1,5 +1,5 @@
error[E0626]: borrow may still be in use when coroutine yields
--> $DIR/generator-with-nll.rs:7:17
--> $DIR/coroutine-with-nll.rs:7:17
|
LL | let b = &mut true;
| ^^^^^^^^^

View File

@ -1,5 +1,5 @@
error[E0271]: type mismatch resolving `<{coroutine@$DIR/generator-yielding-or-returning-itself.rs:15:34: 15:36} as Coroutine>::Return == {coroutine@$DIR/generator-yielding-or-returning-itself.rs:15:34: 15:36}`
--> $DIR/generator-yielding-or-returning-itself.rs:15:34
error[E0271]: type mismatch resolving `<{coroutine@$DIR/coroutine-yielding-or-returning-itself.rs:15:34: 15:36} as Coroutine>::Return == {coroutine@$DIR/coroutine-yielding-or-returning-itself.rs:15:34: 15:36}`
--> $DIR/coroutine-yielding-or-returning-itself.rs:15:34
|
LL | want_cyclic_coroutine_return(|| {
| _____----------------------------_^
@ -16,15 +16,15 @@ LL | | })
see issue #46062 <https://github.com/rust-lang/rust/issues/46062>
for more information
note: required by a bound in `want_cyclic_coroutine_return`
--> $DIR/generator-yielding-or-returning-itself.rs:10:36
--> $DIR/coroutine-yielding-or-returning-itself.rs:10:36
|
LL | pub fn want_cyclic_coroutine_return<T>(_: T)
| ---------------------------- required by a bound in this function
LL | where T: Coroutine<Yield = (), Return = T>
| ^^^^^^^^^^ required by this bound in `want_cyclic_coroutine_return`
error[E0271]: type mismatch resolving `<{coroutine@$DIR/generator-yielding-or-returning-itself.rs:28:33: 28:35} as Coroutine>::Yield == {coroutine@$DIR/generator-yielding-or-returning-itself.rs:28:33: 28:35}`
--> $DIR/generator-yielding-or-returning-itself.rs:28:33
error[E0271]: type mismatch resolving `<{coroutine@$DIR/coroutine-yielding-or-returning-itself.rs:28:33: 28:35} as Coroutine>::Yield == {coroutine@$DIR/coroutine-yielding-or-returning-itself.rs:28:33: 28:35}`
--> $DIR/coroutine-yielding-or-returning-itself.rs:28:33
|
LL | want_cyclic_coroutine_yield(|| {
| _____---------------------------_^
@ -41,7 +41,7 @@ LL | | })
see issue #46062 <https://github.com/rust-lang/rust/issues/46062>
for more information
note: required by a bound in `want_cyclic_coroutine_yield`
--> $DIR/generator-yielding-or-returning-itself.rs:23:24
--> $DIR/coroutine-yielding-or-returning-itself.rs:23:24
|
LL | pub fn want_cyclic_coroutine_yield<T>(_: T)
| --------------------------- required by a bound in this function

View File

@ -1,5 +1,5 @@
error[E0499]: cannot borrow `*x` as mutable more than once at a time
--> $DIR/issue-110929-generator-conflict-error-ice.rs:8:9
--> $DIR/issue-110929-coroutine-conflict-error-ice.rs:8:9
|
LL | let _c = || yield *&mut *x;
| -- -- first borrow occurs due to use of `*x` in coroutine

View File

@ -1,5 +1,5 @@
error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
--> $DIR/issue-45729-unsafe-in-generator.rs:8:9
--> $DIR/issue-45729-unsafe-in-coroutine.rs:8:9
|
LL | *(1 as *mut u32) = 42;
| ^^^^^^^^^^^^^^^^^^^^^ dereference of raw pointer

View File

@ -1,5 +1,5 @@
error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
--> $DIR/issue-45729-unsafe-in-generator.rs:8:9
--> $DIR/issue-45729-unsafe-in-coroutine.rs:8:9
|
LL | *(1 as *mut u32) = 42;
| ^^^^^^^^^^^^^^^^ dereference of raw pointer

View File

@ -1,5 +1,5 @@
error: coroutine cannot be sent between threads safely
--> $DIR/generator-print-verbose-1.rs:37:5
--> $DIR/coroutine-print-verbose-1.rs:37:5
|
LL | require_send(send_gen);
| ^^^^^^^^^^^^ coroutine is not `Send`
@ -7,20 +7,20 @@ LL | require_send(send_gen);
= help: the trait `Sync` is not implemented for `RefCell<i32>`
= note: if you want to do aliasing and mutation between multiple threads, use `std::sync::RwLock` instead
note: coroutine is not `Send` as this value is used across a yield
--> $DIR/generator-print-verbose-1.rs:35:9
--> $DIR/coroutine-print-verbose-1.rs:35:9
|
LL | let _non_send_gen = make_non_send_coroutine();
| ------------- has type `Opaque(DefId(0:34 ~ generator_print_verbose_1[7d1d]::make_non_send_coroutine::{opaque#0}), [])` which is not `Send`
| ------------- has type `Opaque(DefId(0:34 ~ coroutine_print_verbose_1[75fb]::make_non_send_coroutine::{opaque#0}), [])` which is not `Send`
LL | yield;
| ^^^^^ yield occurs here, with `_non_send_gen` maybe used later
note: required by a bound in `require_send`
--> $DIR/generator-print-verbose-1.rs:26:25
--> $DIR/coroutine-print-verbose-1.rs:26:25
|
LL | fn require_send(_: impl Send) {}
| ^^^^ required by this bound in `require_send`
error[E0277]: `RefCell<i32>` cannot be shared between threads safely
--> $DIR/generator-print-verbose-1.rs:56:5
--> $DIR/coroutine-print-verbose-1.rs:56:5
|
LL | require_send(send_gen);
| ^^^^^^^^^^^^ `RefCell<i32>` cannot be shared between threads safely
@ -29,28 +29,28 @@ LL | require_send(send_gen);
= note: if you want to do aliasing and mutation between multiple threads, use `std::sync::RwLock` instead
= note: required for `Arc<RefCell<i32>>` to implement `Send`
note: required because it's used within this coroutine
--> $DIR/generator-print-verbose-1.rs:42:5
--> $DIR/coroutine-print-verbose-1.rs:42:5
|
LL | || {
| ^^
note: required because it appears within the type `Opaque(DefId(0:35 ~ generator_print_verbose_1[7d1d]::make_gen2::{opaque#0}), [Arc<RefCell<i32>>])`
--> $DIR/generator-print-verbose-1.rs:41:30
note: required because it appears within the type `Opaque(DefId(0:35 ~ coroutine_print_verbose_1[75fb]::make_gen2::{opaque#0}), [Arc<RefCell<i32>>])`
--> $DIR/coroutine-print-verbose-1.rs:41:30
|
LL | pub fn make_gen2<T>(t: T) -> impl Coroutine<Return = T> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
note: required because it appears within the type `Opaque(DefId(0:36 ~ generator_print_verbose_1[7d1d]::make_non_send_coroutine2::{opaque#0}), [])`
--> $DIR/generator-print-verbose-1.rs:47:34
note: required because it appears within the type `Opaque(DefId(0:36 ~ coroutine_print_verbose_1[75fb]::make_non_send_coroutine2::{opaque#0}), [])`
--> $DIR/coroutine-print-verbose-1.rs:47:34
|
LL | fn make_non_send_coroutine2() -> impl Coroutine<Return = Arc<RefCell<i32>>> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
= note: required because it captures the following types: `Opaque(DefId(0:36 ~ generator_print_verbose_1[7d1d]::make_non_send_coroutine2::{opaque#0}), [])`
= note: required because it captures the following types: `Opaque(DefId(0:36 ~ coroutine_print_verbose_1[75fb]::make_non_send_coroutine2::{opaque#0}), [])`
note: required because it's used within this coroutine
--> $DIR/generator-print-verbose-1.rs:52:20
--> $DIR/coroutine-print-verbose-1.rs:52:20
|
LL | let send_gen = || {
| ^^
note: required by a bound in `require_send`
--> $DIR/generator-print-verbose-1.rs:26:25
--> $DIR/coroutine-print-verbose-1.rs:26:25
|
LL | fn require_send(_: impl Send) {}
| ^^^^ required by this bound in `require_send`

View File

@ -1,39 +1,39 @@
error: coroutine cannot be shared between threads safely
--> $DIR/generator-print-verbose-2.rs:17:5
--> $DIR/coroutine-print-verbose-2.rs:17:5
|
LL | assert_sync(|| {
| ^^^^^^^^^^^ coroutine is not `Sync`
|
= help: within `{main::{closure#0} upvar_tys=() {main::{closure#0}}}`, the trait `Sync` is not implemented for `NotSync`
note: coroutine is not `Sync` as this value is used across a yield
--> $DIR/generator-print-verbose-2.rs:20:9
--> $DIR/coroutine-print-verbose-2.rs:20:9
|
LL | let a = NotSync;
| - has type `NotSync` which is not `Sync`
LL | yield;
| ^^^^^ yield occurs here, with `a` maybe used later
note: required by a bound in `assert_sync`
--> $DIR/generator-print-verbose-2.rs:14:23
--> $DIR/coroutine-print-verbose-2.rs:14:23
|
LL | fn assert_sync<T: Sync>(_: T) {}
| ^^^^ required by this bound in `assert_sync`
error: coroutine cannot be sent between threads safely
--> $DIR/generator-print-verbose-2.rs:24:5
--> $DIR/coroutine-print-verbose-2.rs:24:5
|
LL | assert_send(|| {
| ^^^^^^^^^^^ coroutine is not `Send`
|
= help: within `{main::{closure#1} upvar_tys=() {main::{closure#1}}}`, the trait `Send` is not implemented for `NotSend`
note: coroutine is not `Send` as this value is used across a yield
--> $DIR/generator-print-verbose-2.rs:27:9
--> $DIR/coroutine-print-verbose-2.rs:27:9
|
LL | let a = NotSend;
| - has type `NotSend` which is not `Send`
LL | yield;
| ^^^^^ yield occurs here, with `a` maybe used later
note: required by a bound in `assert_send`
--> $DIR/generator-print-verbose-2.rs:15:23
--> $DIR/coroutine-print-verbose-2.rs:15:23
|
LL | fn assert_send<T: Send>(_: T) {}
| ^^^^ required by this bound in `assert_send`

View File

@ -1,5 +1,5 @@
error[E0308]: mismatched types
--> $DIR/generator-print-verbose-3.rs:7:25
--> $DIR/coroutine-print-verbose-3.rs:7:25
|
LL | let coroutine :() = || {
| ____________________--___^

View File

@ -1,11 +1,11 @@
error[E0627]: yield expression outside of coroutine literal
--> $DIR/yield-outside-generator-issue-78653.rs:4:5
--> $DIR/yield-outside-coroutine-issue-78653.rs:4:5
|
LL | yield || for i in 0 { }
| ^^^^^^^^^^^^^^^^^^^^^^^
error[E0277]: `{integer}` is not an iterator
--> $DIR/yield-outside-generator-issue-78653.rs:4:23
--> $DIR/yield-outside-coroutine-issue-78653.rs:4:23
|
LL | yield || for i in 0 { }
| ^ `{integer}` is not an iterator

View File

@ -1,5 +1,5 @@
error[E0720]: cannot resolve opaque type
--> $DIR/recursive-generator.rs:5:13
--> $DIR/recursive-coroutine.rs:5:13
|
LL | fn foo() -> impl Coroutine<Yield = (), Return = ()> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ recursive opaque type

View File

@ -1,5 +1,5 @@
error[E0594]: cannot assign to `x`, as it is not declared as mutable
--> $DIR/generator-upvar-mutability.rs:8:9
--> $DIR/coroutine-upvar-mutability.rs:8:9
|
LL | let x = 0;
| - help: consider changing this to be mutable: `mut x`

View File

@ -1,5 +1,5 @@
warning: unused coroutine that must be used
--> $DIR/issue-48623-generator.rs:15:5
--> $DIR/issue-48623-coroutine.rs:15:5
|
LL | move || { d; yield; &mut *r };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

View File

@ -1,5 +1,5 @@
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
--> $DIR/generators.rs:3:12
--> $DIR/coroutine.rs:3:12
|
LL | #![feature(generic_const_exprs, coroutines, coroutine_trait, rustc_attrs)]
| ^^^^^^^^^^^^^^^^^^^
@ -8,7 +8,7 @@ LL | #![feature(generic_const_exprs, coroutines, coroutine_trait, rustc_attrs)]
= note: `#[warn(incomplete_features)]` on by default
error: item has unused generic parameters
--> $DIR/generators.rs:35:5
--> $DIR/coroutine.rs:35:5
|
LL | pub fn unused_type<T>() -> impl Coroutine<(), Yield = u32, Return = u32> + Unpin {
| - generic parameter `T` is unused
@ -16,7 +16,7 @@ LL | || {
| ^^
error: item has unused generic parameters
--> $DIR/generators.rs:60:5
--> $DIR/coroutine.rs:60:5
|
LL | pub fn unused_const<const T: u32>() -> impl Coroutine<(), Yield = u32, Return = u32> + Unpin {
| ------------ generic parameter `T` is unused

View File

@ -1,4 +1,4 @@
print-type-size type: `{coroutine@$DIR/generator.rs:10:5: 10:14}`: 8193 bytes, alignment: 1 bytes
print-type-size type: `{coroutine@$DIR/coroutine.rs:10:5: 10:14}`: 8193 bytes, alignment: 1 bytes
print-type-size discriminant: 1 bytes
print-type-size variant `Unresumed`: 8192 bytes
print-type-size upvar `.array`: 8192 bytes

View File

@ -1,4 +1,4 @@
print-type-size type: `{coroutine@$DIR/generator_discr_placement.rs:12:13: 12:15}`: 8 bytes, alignment: 4 bytes
print-type-size type: `{coroutine@$DIR/coroutine_discr_placement.rs:12:13: 12:15}`: 8 bytes, alignment: 4 bytes
print-type-size discriminant: 1 bytes
print-type-size variant `Unresumed`: 0 bytes
print-type-size variant `Suspend0`: 7 bytes

View File

@ -1,5 +1,5 @@
error[E0277]: the trait bound `{coroutine@$DIR/generator.rs:18:21: 18:23}: Coroutine<A>` is not satisfied
--> $DIR/generator.rs:18:21
error[E0277]: the trait bound `{coroutine@$DIR/coroutine.rs:18:21: 18:23}: Coroutine<A>` is not satisfied
--> $DIR/coroutine.rs:18:21
|
LL | needs_coroutine(|| {
| _____---------------_^
@ -10,16 +10,16 @@ LL | |
LL | |
LL | | yield ();
LL | | });
| |_____^ the trait `Coroutine<A>` is not implemented for `{coroutine@$DIR/generator.rs:18:21: 18:23}`
| |_____^ the trait `Coroutine<A>` is not implemented for `{coroutine@$DIR/coroutine.rs:18:21: 18:23}`
|
note: required by a bound in `needs_coroutine`
--> $DIR/generator.rs:14:28
--> $DIR/coroutine.rs:14:28
|
LL | fn needs_coroutine(_: impl Coroutine<A, Yield = B, Return = C>) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `needs_coroutine`
error[E0271]: type mismatch resolving `<{coroutine@$DIR/generator.rs:18:21: 18:23} as Coroutine<A>>::Yield == B`
--> $DIR/generator.rs:18:21
error[E0271]: type mismatch resolving `<{coroutine@$DIR/coroutine.rs:18:21: 18:23} as Coroutine<A>>::Yield == B`
--> $DIR/coroutine.rs:18:21
|
LL | needs_coroutine(|| {
| _____---------------_^
@ -33,13 +33,13 @@ LL | | });
| |_____^ types differ
|
note: required by a bound in `needs_coroutine`
--> $DIR/generator.rs:14:41
--> $DIR/coroutine.rs:14:41
|
LL | fn needs_coroutine(_: impl Coroutine<A, Yield = B, Return = C>) {}
| ^^^^^^^^^ required by this bound in `needs_coroutine`
error[E0271]: type mismatch resolving `<{coroutine@$DIR/generator.rs:18:21: 18:23} as Coroutine<A>>::Return == C`
--> $DIR/generator.rs:18:21
error[E0271]: type mismatch resolving `<{coroutine@$DIR/coroutine.rs:18:21: 18:23} as Coroutine<A>>::Return == C`
--> $DIR/coroutine.rs:18:21
|
LL | needs_coroutine(|| {
| _____---------------_^
@ -53,7 +53,7 @@ LL | | });
| |_____^ types differ
|
note: required by a bound in `needs_coroutine`
--> $DIR/generator.rs:14:52
--> $DIR/coroutine.rs:14:52
|
LL | fn needs_coroutine(_: impl Coroutine<A, Yield = B, Return = C>) {}
| ^^^^^^^^^^ required by this bound in `needs_coroutine`

View File

@ -1,8 +1,8 @@
error[E0271]: type mismatch resolving `<{coroutine@$DIR/issue-94429.rs:17:9: 17:16} as Coroutine>::Yield == ()`
--> $DIR/issue-94429.rs:15:26
|
LL | fn run(&mut self) -> Self::Gen {
| ^^^^^^^^^ expected integer, found `()`
LL | fn run(&mut self) -> Self::Coro {
| ^^^^^^^^^^ expected integer, found `()`
error: aborting due to previous error