diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/async-await/unresolved_type_param.rs | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/test/ui/async-await/unresolved_type_param.rs b/src/test/ui/async-await/unresolved_type_param.rs new file mode 100644 index 000000000..6d6d80614 --- /dev/null +++ b/src/test/ui/async-await/unresolved_type_param.rs @@ -0,0 +1,24 @@ +// 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 +// compile-flags: -Zdrop-tracking + +async fn bar<T>() -> () {} + +async fn foo() { + bar().await; + //~^ ERROR type inside `async fn` body must be known in this context + //~| ERROR type inside `async fn` body must be known in this context + //~| ERROR type inside `async fn` body must be known in this context + //~| NOTE cannot infer type for type parameter `T` + //~| NOTE cannot infer type for type parameter `T` + //~| NOTE cannot infer type for type parameter `T` + //~| NOTE the type is part of the `async fn` body because of this `await` + //~| NOTE the type is part of the `async fn` body because of this `await` + //~| NOTE the type is part of the `async fn` body because of this `await` + //~| NOTE in this expansion of desugaring of `await` + //~| NOTE in this expansion of desugaring of `await` + //~| NOTE in this expansion of desugaring of `await` +} +fn main() {} |