blob: d8ea87d2775bdf7a624c620310daa9989d607c58 [file] [log] [blame]
// Provoke an unresolved type error (T).
// Error message should pinpoint the type parameter T as needing to be bound
// (rather than give a general error message)
// edition:2018
async fn bar<T>() -> () {}
async fn foo() {
bar().await;
//~^ ERROR type inside `async` object must be known in this context
//~| NOTE cannot infer type for `T`
//~| NOTE the type is part of the `async` object because of this `await`
//~| NOTE in this expansion of desugaring of `await`
}
fn main() {}