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.
25 lines
718 B
Rust
25 lines
718 B
Rust
// Regression test for #88653, where a confusing warning about a
|
|
// type mismatch in coroutine arguments was issued.
|
|
|
|
#![feature(coroutines, coroutine_trait)]
|
|
|
|
use std::ops::Coroutine;
|
|
|
|
fn foo(bar: bool) -> impl Coroutine<(bool,)> {
|
|
//~^ ERROR: type mismatch in coroutine arguments [E0631]
|
|
//~| NOTE: expected due to this
|
|
//~| NOTE: expected coroutine signature `fn((bool,)) -> _`
|
|
//~| NOTE: in this expansion of desugaring of `impl Trait`
|
|
//~| NOTE: in this expansion of desugaring of `impl Trait`
|
|
#[coroutine]
|
|
|bar| {
|
|
//~^ NOTE: found signature defined here
|
|
//~| NOTE: return type was inferred to be
|
|
if bar {
|
|
yield bar;
|
|
}
|
|
}
|
|
}
|
|
|
|
fn main() {}
|