092ecca5b9
``` error[E0277]: the trait bound `{gen block@$DIR/gen_block_is_coro.rs:7:5: 7:8}: Coroutine` is not satisfied --> $DIR/gen_block_is_coro.rs:6:13 | LL | fn foo() -> impl Coroutine<Yield = u32, Return = ()> { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Coroutine` is not implemented for `{gen block@$DIR/gen_block_is_coro.rs:7:5: 7:8}` LL | gen { yield 42 } | ---------------- return type was inferred to be `{gen block@$DIR/gen_block_is_coro.rs:7:5: 7:8}` here ``` The secondary span label is new.
26 lines
737 B
Plaintext
26 lines
737 B
Plaintext
error[E0631]: type mismatch in coroutine arguments
|
|
--> $DIR/issue-88653.rs:8:22
|
|
|
|
|
LL | fn foo(bar: bool) -> impl Coroutine<(bool,)> {
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
|
|
...
|
|
LL | |bar| {
|
|
| -----
|
|
| |
|
|
| _____found signature defined here
|
|
| |
|
|
LL | |
|
|
LL | |
|
|
LL | | if bar {
|
|
LL | | yield bar;
|
|
LL | | }
|
|
LL | | }
|
|
| |_____- return type was inferred to be `{coroutine@$DIR/issue-88653.rs:15:5: 15:10}` here
|
|
|
|
|
= note: expected coroutine signature `fn((bool,)) -> _`
|
|
found coroutine signature `fn(bool) -> _`
|
|
|
|
error: aborting due to 1 previous error
|
|
|
|
For more information about this error, try `rustc --explain E0631`.
|