about summary refs log tree commit diff
path: root/compiler/rustc_error_codes/src/error_codes/E0698.md
blob: d064971293669586942d845483c83bfffed8b93a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#### Note: this error code is no longer emitted by the compiler.

When using coroutines (or async) all type variables must be bound so a
coroutine can be constructed.

Erroneous code example:

```edition2018,compile_fail,E0282
async fn bar<T>() -> () {}

async fn foo() {
    bar().await; // error: cannot infer type for `T`
}
```

In the above example `T` is unknowable by the compiler.
To fix this you must bind `T` to a concrete type such as `String`
so that a coroutine can then be constructed:

```edition2018
async fn bar<T>() -> () {}

async fn foo() {
    bar::<String>().await;
    //   ^^^^^^^^ specify type explicitly
}
```