diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-08-19 13:53:06 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2019-08-19 13:53:06 -0400 |
| commit | 7ee1af51ccc521779300eba0819bcb08c07632cf (patch) | |
| tree | 3ae10079fe25ab041276107c3f5158e736e50b5f /src | |
| parent | 832199ee767004091d083affb5e641502f6d39bc (diff) | |
| download | rust-7ee1af51ccc521779300eba0819bcb08c07632cf.tar.gz rust-7ee1af51ccc521779300eba0819bcb08c07632cf.zip | |
adjust test to be check-pass
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/async-await/issues/issue-62517-2.rs | 6 | ||||
| -rw-r--r-- | src/test/ui/async-await/issues/issue-62517-2.stderr | 11 |
2 files changed, 4 insertions, 13 deletions
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`. |