1 // Provoke an unresolved type error (T).
2 // Error message should pinpoint the type parameter T as needing to be bound
3 // (rather than give a general error message)
5 // compile-flags: -Zdrop-tracking
7 async fn bar<T>() -> () {}
11 //~^ ERROR type inside `async fn` body must be known in this context
12 //~| ERROR type inside `async fn` body must be known in this context
13 //~| ERROR type inside `async fn` body must be known in this context
14 //~| NOTE cannot infer type for type parameter `T`
15 //~| NOTE cannot infer type for type parameter `T`
16 //~| NOTE cannot infer type for type parameter `T`
17 //~| NOTE the type is part of the `async fn` body because of this `await`
18 //~| NOTE the type is part of the `async fn` body because of this `await`
19 //~| NOTE the type is part of the `async fn` body because of this `await`
20 //~| NOTE in this expansion of desugaring of `await`
21 //~| NOTE in this expansion of desugaring of `await`
22 //~| NOTE in this expansion of desugaring of `await`