From: Niko Matsakis <niko@alum.mit.edu>
Date: Mon, 19 Aug 2019 17:53:06 +0000 (-0400)
Subject: adjust test to be check-pass
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=7ee1af51ccc521779300eba0819bcb08c07632cf;p=rust.git

adjust test to be check-pass
---

diff --git a/src/test/ui/async-await/issues/issue-62517-2.rs b/src/test/ui/async-await/issues/issue-62517-2.rs
index 72dae58e516..17fac408151 100644
--- a/src/test/ui/async-await/issues/issue-62517-2.rs
+++ b/src/test/ui/async-await/issues/issue-62517-2.rs
@@ -3,14 +3,16 @@
 // explicit lifetime bound.
 //
 // edition:2018
+// check-pass
 
 #![feature(async_await)]
 
 trait Object {}
 
-trait Alpha<Param> {}
+trait Alpha<Param: ?Sized> {}
 
 async fn foo<'a>(_: &'a ()) -> impl Alpha<dyn Object> {}
-//~^ ERROR not satisfied
+
+impl<T> Alpha<dyn Object> for T { }
 
 fn main() { }
diff --git a/src/test/ui/async-await/issues/issue-62517-2.stderr b/src/test/ui/async-await/issues/issue-62517-2.stderr
deleted file mode 100644
index 4f9b3047bfe..00000000000
--- a/src/test/ui/async-await/issues/issue-62517-2.stderr
+++ /dev/null
@@ -1,11 +0,0 @@
-error[E0277]: the trait bound `(): Alpha<(dyn Object + 'static)>` is not satisfied
-  --> $DIR/issue-62517-2.rs:13:32
-   |
-LL | async fn foo<'a>(_: &'a ()) -> impl Alpha<dyn Object> {}
-   |                                ^^^^^^^^^^^^^^^^^^^^^^ the trait `Alpha<(dyn Object + 'static)>` is not implemented for `()`
-   |
-   = note: the return type of a function must have a statically known size
-
-error: aborting due to previous error
-
-For more information about this error, try `rustc --explain E0277`.