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 #![feature(async_await)]
6 async fn bar<T>() -> () {}
10 //~^ ERROR type inside generator must be known in this context
11 //~| NOTE cannot infer type for `T`
12 //~| NOTE the type is part of the generator because of this `yield`
13 //~| NOTE in this expansion of desugaring of `await`