diff options
| author | Michael Goulet <michael@errs.io> | 2022-03-22 19:25:43 -0700 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-03-22 19:41:34 -0700 |
| commit | bdb4b1e923d7219690135490af5f63859a7086bc (patch) | |
| tree | a28e850b2756c98a4e4873a7da04574f29f6c699 /src/test/ui/impl-trait | |
| parent | a4a5e79814fb4d1568fb0ea5ca50f810b071ae12 (diff) | |
| download | rust-bdb4b1e923d7219690135490af5f63859a7086bc.tar.gz rust-bdb4b1e923d7219690135490af5f63859a7086bc.zip | |
remove [async output] from impl Future
Diffstat (limited to 'src/test/ui/impl-trait')
| -rw-r--r-- | src/test/ui/impl-trait/issue-55872-2.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/impl-trait/issue-55872-2.stderr | 4 | ||||
| -rw-r--r-- | src/test/ui/impl-trait/issues/issue-78722.stderr | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/test/ui/impl-trait/issue-55872-2.rs b/src/test/ui/impl-trait/issue-55872-2.rs index 17a6a857874..1841d7b3d37 100644 --- a/src/test/ui/impl-trait/issue-55872-2.rs +++ b/src/test/ui/impl-trait/issue-55872-2.rs @@ -12,7 +12,7 @@ impl<S> Bar for S { type E = impl std::marker::Copy; fn foo<T>() -> Self::E { //~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias - //~| ERROR the trait bound `impl Future<Output = [async output]>: Copy` is not satisfied + //~| ERROR the trait bound `impl Future: Copy` is not satisfied async {} } } diff --git a/src/test/ui/impl-trait/issue-55872-2.stderr b/src/test/ui/impl-trait/issue-55872-2.stderr index b76b564dfb1..76122e60c4c 100644 --- a/src/test/ui/impl-trait/issue-55872-2.stderr +++ b/src/test/ui/impl-trait/issue-55872-2.stderr @@ -1,8 +1,8 @@ -error[E0277]: the trait bound `impl Future<Output = [async output]>: Copy` is not satisfied +error[E0277]: the trait bound `impl Future: Copy` is not satisfied --> $DIR/issue-55872-2.rs:13:20 | LL | fn foo<T>() -> Self::E { - | ^^^^^^^ the trait `Copy` is not implemented for `impl Future<Output = [async output]>` + | ^^^^^^^ the trait `Copy` is not implemented for `impl Future` error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias --> $DIR/issue-55872-2.rs:13:28 diff --git a/src/test/ui/impl-trait/issues/issue-78722.stderr b/src/test/ui/impl-trait/issues/issue-78722.stderr index 130678de237..86bde9a0cdd 100644 --- a/src/test/ui/impl-trait/issues/issue-78722.stderr +++ b/src/test/ui/impl-trait/issues/issue-78722.stderr @@ -15,7 +15,7 @@ LL | pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return> | ------------------------------- the found opaque type | = note: expected opaque type `impl Future<Output = u8>` - found opaque type `impl Future<Output = [async output]>` + found opaque type `impl Future` = note: distinct uses of `impl Trait` result in different opaque types error: aborting due to previous error |