Rollup merge of rust-lang#95225 - compiler-errors:impl-future-generator-ty, r=oli-obk

matthiaskrgr · web-flow · commit 1f346bd6a5c5 · 2022-03-23T22:13:25.000+01:00
remove `[async output]` from `impl Future` pretty-printing self-explanatory, guess it's not as helpful as I thought when I added it 4 months ago re rust-lang#95089 (comment)
diff --git a/compiler/rustc_middle/src/lib.rs b/compiler/rustc_middle/src/lib.rs
@@ -41,6 +41,7 @@
 #![feature(new_uninit)]
 #![feature(nll)]
 #![feature(once_cell)]
+#![feature(let_chains)]
 #![feature(let_else)]
 #![feature(min_specialization)]
 #![feature(trusted_len)]
diff --git a/compiler/rustc_middle/src/ty/print/pretty.rs b/compiler/rustc_middle/src/ty/print/pretty.rs
@@ -896,44 +896,48 @@ pub trait PrettyPrinter<'tcx>:
             );
 
             if !generics.is_empty() || !assoc_items.is_empty() {
-                p!("<");
                 let mut first = true;
 
                 for ty in generics {
-                    if !first {
+                    if first {
+                        p!("<");
+                        first = false;
+                    } else {
                         p!(", ");
                     }
                     p!(print(trait_ref.rebind(*ty)));
-                    first = false;
                 }
 
                 for (assoc_item_def_id, term) in assoc_items {
-                    if !first {
+                    // Skip printing `<[generator@] as Generator<_>>::Return` from async blocks
+                    if let Some(ty) = term.skip_binder().ty() &&
+                       let ty::Projection(ty::ProjectionTy { item_def_id, .. }) = ty.kind() &&
+                       Some(*item_def_id) == self.tcx().lang_items().generator_return() {
+                        continue;
+                    }
+
+                    if first {
+                        p!("<");
+                        first = false;
+                    } else {
                         p!(", ");
                     }
+
                     p!(write("{} = ", self.tcx().associated_item(assoc_item_def_id).name));
 
                     match term.skip_binder() {
                         Term::Ty(ty) => {
-                            // Skip printing `<[generator@] as Generator<_>>::Return` from async blocks
-                            if matches!(
-                              ty.kind(), ty::Projection(ty::ProjectionTy { item_def_id, .. })
-                              if Some(*item_def_id) == self.tcx().lang_items().generator_return()
-                            ) {
-                                p!("[async output]")
-                            } else {
-                                p!(print(ty))
-                            }
+                            p!(print(ty))
                         }
                         Term::Const(c) => {
                             p!(print(c));
                         }
                     };
-
-                    first = false;
                 }
 
-                p!(">");
+                if !first {
+                    p!(">");
+                }
             }
 
             first = false;
diff --git a/src/test/ui/async-await/async-block-control-flow-static-semantics.rs b/src/test/ui/async-await/async-block-control-flow-static-semantics.rs
@@ -24,7 +24,7 @@ async fn return_targets_async_block_not_async_fn() -> u8 {
         return 0u8;
     };
     let _: &dyn Future<Output = ()> = &block;
-    //~^ ERROR type mismatch resolving `<impl Future<Output = [async output]> as Future>::Output == ()`
+    //~^ ERROR type mismatch resolving `<impl Future as Future>::Output == ()`
 }
 
 fn no_break_in_async_block() {
diff --git a/src/test/ui/async-await/async-block-control-flow-static-semantics.stderr b/src/test/ui/async-await/async-block-control-flow-static-semantics.stderr
@@ -31,7 +31,7 @@ LL | |
 LL | | }
    | |_^ expected `u8`, found `()`
 
-error[E0271]: type mismatch resolving `<impl Future<Output = [async output]> as Future>::Output == ()`
+error[E0271]: type mismatch resolving `<impl Future as Future>::Output == ()`
   --> $DIR/async-block-control-flow-static-semantics.rs:26:39
    |
 LL |     let _: &dyn Future<Output = ()> = &block;
@@ -47,7 +47,7 @@ LL | fn return_targets_async_block_not_fn() -> u8 {
    |    |
    |    implicitly returns `()` as its body has no tail or `return` expression
 
-error[E0271]: type mismatch resolving `<impl Future<Output = [async output]> as Future>::Output == ()`
+error[E0271]: type mismatch resolving `<impl Future as Future>::Output == ()`
   --> $DIR/async-block-control-flow-static-semantics.rs:17:39
    |
 LL |     let _: &dyn Future<Output = ()> = &block;
diff --git a/src/test/ui/async-await/generator-desc.stderr b/src/test/ui/async-await/generator-desc.stderr
@@ -46,8 +46,8 @@ LL | pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return>
    |                                           the expected opaque type
    |                                           the found opaque type
    |
-   = note: expected opaque type `impl Future<Output = [async output]>` (`async` closure body)
-              found opaque type `impl Future<Output = [async output]>` (`async` closure body)
+   = note: expected opaque type `impl Future` (`async` closure body)
+              found opaque type `impl Future` (`async` closure body)
 
 error: aborting due to 3 previous errors
 
diff --git a/src/test/ui/async-await/issue-67252-unnamed-future.stderr b/src/test/ui/async-await/issue-67252-unnamed-future.stderr
@@ -4,7 +4,7 @@ error: future cannot be sent between threads safely
 LL |     spawn(async {
    |     ^^^^^ future created by async block is not `Send`
    |
-   = help: within `impl Future<Output = [async output]>`, the trait `Send` is not implemented for `*mut ()`
+   = help: within `impl Future`, the trait `Send` is not implemented for `*mut ()`
 note: future is not `Send` as this value is used across an await
   --> $DIR/issue-67252-unnamed-future.rs:20:16
    |
diff --git a/src/test/ui/async-await/issue-68112.stderr b/src/test/ui/async-await/issue-68112.stderr
@@ -44,13 +44,13 @@ LL |     require_send(send_fut);
    = note: required because of the requirements on the impl of `Send` for `Arc<RefCell<i32>>`
    = note: required because it appears within the type `[static generator@$DIR/issue-68112.rs:47:31: 47:36]`
    = note: required because it appears within the type `from_generator::GenFuture<[static generator@$DIR/issue-68112.rs:47:31: 47:36]>`
-   = note: required because it appears within the type `impl Future<Output = [async output]>`
+   = note: required because it appears within the type `impl Future`
    = note: required because it appears within the type `impl Future<Output = Arc<RefCell<i32>>>`
    = note: required because it appears within the type `impl Future<Output = Arc<RefCell<i32>>>`
    = note: required because it appears within the type `{ResumeTy, impl Future<Output = Arc<RefCell<i32>>>, (), i32, Ready<i32>}`
    = note: required because it appears within the type `[static generator@$DIR/issue-68112.rs:55:26: 59:6]`
    = note: required because it appears within the type `from_generator::GenFuture<[static generator@$DIR/issue-68112.rs:55:26: 59:6]>`
-   = note: required because it appears within the type `impl Future<Output = [async output]>`
+   = note: required because it appears within the type `impl Future`
 note: required by a bound in `require_send`
   --> $DIR/issue-68112.rs:11:25
    |
diff --git a/src/test/ui/async-await/issues/issue-65436-raw-ptr-not-send.stderr b/src/test/ui/async-await/issues/issue-65436-raw-ptr-not-send.stderr
@@ -4,7 +4,7 @@ error: future cannot be sent between threads safely
 LL |     assert_send(async {
    |     ^^^^^^^^^^^ future created by async block is not `Send`
    |
-   = help: within `impl Future<Output = [async output]>`, the trait `Send` is not implemented for `*const u8`
+   = help: within `impl Future`, the trait `Send` is not implemented for `*const u8`
 note: future is not `Send` as this value is used across an await
   --> $DIR/issue-65436-raw-ptr-not-send.rs:14:35
    |
diff --git a/src/test/ui/async-await/partial-drop-partial-reinit.stderr b/src/test/ui/async-await/partial-drop-partial-reinit.stderr
@@ -14,7 +14,7 @@ LL | async fn foo() {
    = note: required because it appears within the type `{ResumeTy, (NotSend,), impl Future<Output = ()>, ()}`
    = note: required because it appears within the type `[static generator@$DIR/partial-drop-partial-reinit.rs:22:16: 27:2]`
    = note: required because it appears within the type `from_generator::GenFuture<[static generator@$DIR/partial-drop-partial-reinit.rs:22:16: 27:2]>`
-   = note: required because it appears within the type `impl Future<Output = [async output]>`
+   = note: required because it appears within the type `impl Future`
    = note: required because it appears within the type `impl Future<Output = ()>`
 note: required by a bound in `gimme_send`
   --> $DIR/partial-drop-partial-reinit.rs:10:18
diff --git a/src/test/ui/chalkify/bugs/async.stderr b/src/test/ui/chalkify/bugs/async.stderr
@@ -28,7 +28,7 @@ note: required by a bound in `from_generator`
 LL |     T: Generator<ResumeTy, Yield = ()>,
    |                            ^^^^^^^^^^ required by this bound in `from_generator`
 
-error[E0280]: the requirement `<impl Future<Output = [async output]> as Future>::Output == u32` is not satisfied
+error[E0280]: the requirement `<impl Future as Future>::Output == u32` is not satisfied
   --> $DIR/async.rs:7:25
    |
 LL | async fn foo(x: u32) -> u32 {
diff --git a/src/test/ui/generic-associated-types/bugs/issue-89008.stderr b/src/test/ui/generic-associated-types/bugs/issue-89008.stderr
@@ -1,4 +1,4 @@
-error[E0271]: type mismatch resolving `<impl Future<Output = [async output]> as Future>::Output == impl Stream<Item = Repr>`
+error[E0271]: type mismatch resolving `<impl Future as Future>::Output == impl Stream<Item = Repr>`
   --> $DIR/issue-89008.rs:39:43
    |
 LL |     type LineStream<'a, Repr> = impl Stream<Item = Repr>;
diff --git 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
@@ -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
@@ -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
diff --git a/src/test/ui/pattern/non-structural-match-types.stderr b/src/test/ui/pattern/non-structural-match-types.stderr
@@ -4,7 +4,7 @@ error: `[closure@$DIR/non-structural-match-types.rs:9:17: 9:22]` cannot be used
 LL |         const { || {} } => {},
    |         ^^^^^^^^^^^^^^^
 
-error: `impl Future<Output = [async output]>` cannot be used in patterns
+error: `impl Future` cannot be used in patterns
   --> $DIR/non-structural-match-types.rs:12:9
    |
 LL |         const { async {} } => {},
diff --git a/src/test/ui/suggestions/expected-boxed-future-isnt-pinned.stderr b/src/test/ui/suggestions/expected-boxed-future-isnt-pinned.stderr
@@ -81,7 +81,7 @@ LL |   pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return>
    |                                             ------------------------------- the found opaque type
    |
    = note:   expected struct `Pin<Box<(dyn Future<Output = i32> + Send + 'static)>>`
-           found opaque type `impl Future<Output = [async output]>`
+           found opaque type `impl Future`
 help: you need to pin and box this expression
    |
 LL ~     Box::pin(async {

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ async fn return_targets_async_block_not_async_fn() -> u8 {`
`24`	`24`	`return 0u8;`
`25`	`25`	`};`
`26`	`26`	`let _: &dyn Future<Output = ()> = &block;`
`27`		- //~^ ERROR type mismatch resolving `<impl Future<Output = [async output]> as Future>::Output == ()`
	`27`	+ //~^ ERROR type mismatch resolving `<impl Future as Future>::Output == ()`
`28`	`28`	`}`
`29`	`29`
`30`	`30`	`fn no_break_in_async_block() {`
Original file line number	Diff line number	Diff line change
`@@ -46,8 +46,8 @@ LL \| pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return>`
`46`	`46`	`\| the expected opaque type`
`47`	`47`	`\| the found opaque type`
`48`	`48`	`\|`
`49`		- = note: expected opaque type `impl Future<Output = [async output]>` (`async` closure body)
`50`		- found opaque type `impl Future<Output = [async output]>` (`async` closure body)
	`49`	+ = note: expected opaque type `impl Future` (`async` closure body)
	`50`	+ found opaque type `impl Future` (`async` closure body)
`51`	`51`
`52`	`52`	`error: aborting due to 3 previous errors`
`53`	`53`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error: future cannot be sent between threads safely`
`4`	`4`	`LL \| spawn(async {`
`5`	`5`	\| ^^^^^ future created by async block is not `Send`
`6`	`6`	`\|`
`7`		- = help: within `impl Future<Output = [async output]>`, the trait `Send` is not implemented for `*mut ()`
	`7`	+ = help: within `impl Future`, the trait `Send` is not implemented for `*mut ()`
`8`	`8`	note: future is not `Send` as this value is used across an await
`9`	`9`	`--> $DIR/issue-67252-unnamed-future.rs:20:16`
`10`	`10`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error: future cannot be sent between threads safely`
`4`	`4`	`LL \| assert_send(async {`
`5`	`5`	\| ^^^^^^^^^^^ future created by async block is not `Send`
`6`	`6`	`\|`
`7`		- = help: within `impl Future<Output = [async output]>`, the trait `Send` is not implemented for `*const u8`
	`7`	+ = help: within `impl Future`, the trait `Send` is not implemented for `*const u8`
`8`	`8`	note: future is not `Send` as this value is used across an await
`9`	`9`	`--> $DIR/issue-65436-raw-ptr-not-send.rs:14:35`
`10`	`10`	`\|`
Original file line number	Diff line number	Diff line change
@@ -28,7 +28,7 @@ note: required by a bound in `from_generator`
`28`	`28`	`LL \| T: Generator<ResumeTy, Yield = ()>,`
`29`	`29`	\| ^^^^^^^^^^ required by this bound in `from_generator`
`30`	`30`
`31`		-error[E0280]: the requirement `<impl Future<Output = [async output]> as Future>::Output == u32` is not satisfied
	`31`	+error[E0280]: the requirement `<impl Future as Future>::Output == u32` is not satisfied
`32`	`32`	`--> $DIR/async.rs:7:25`
`33`	`33`	`\|`
`34`	`34`	`LL \| async fn foo(x: u32) -> u32 {`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		-error[E0271]: type mismatch resolving `<impl Future<Output = [async output]> as Future>::Output == impl Stream<Item = Repr>`
	`1`	+error[E0271]: type mismatch resolving `<impl Future as Future>::Output == impl Stream<Item = Repr>`
`2`	`2`	`--> $DIR/issue-89008.rs:39:43`
`3`	`3`	`\|`
`4`	`4`	`LL \| type LineStream<'a, Repr> = impl Stream<Item = Repr>;`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ impl<S> Bar for S {`
`12`	`12`	`type E = impl std::marker::Copy;`
`13`	`13`	`fn foo<T>() -> Self::E {`
`14`	`14`	//~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
`15`		- //~\| ERROR the trait bound `impl Future<Output = [async output]>: Copy` is not satisfied
	`15`	+ //~\| ERROR the trait bound `impl Future: Copy` is not satisfied
`16`	`16`	`async {}`
`17`	`17`	`}`
`18`	`18`	`}`
Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ LL \| pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return>`
`15`	`15`	`\| ------------------------------- the found opaque type`
`16`	`16`	`\|`
`17`	`17`	= note: expected opaque type `impl Future<Output = u8>`
`18`		- found opaque type `impl Future<Output = [async output]>`
	`18`	+ found opaque type `impl Future`
`19`	`19`	= note: distinct uses of `impl Trait` result in different opaque types
`20`	`20`
`21`	`21`	`error: aborting due to previous error`
Original file line number	Diff line number	Diff line change
@@ -4,7 +4,7 @@ error: `[closure@$DIR/non-structural-match-types.rs:9:17: 9:22]` cannot be used
`4`	`4`	`LL \| const { \|\| {} } => {},`
`5`	`5`	`\| ^^^^^^^^^^^^^^^`
`6`	`6`
`7`		-error: `impl Future<Output = [async output]>` cannot be used in patterns
	`7`	+error: `impl Future` cannot be used in patterns
`8`	`8`	`--> $DIR/non-structural-match-types.rs:12:9`
`9`	`9`	`\|`
`10`	`10`	`LL \| const { async {} } => {},`
Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ LL \| pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return>`
`81`	`81`	`\| ------------------------------- the found opaque type`
`82`	`82`	`\|`
`83`	`83`	= note: expected struct `Pin<Box<(dyn Future<Output = i32> + Send + 'static)>>`
`84`		- found opaque type `impl Future<Output = [async output]>`
	`84`	+ found opaque type `impl Future`
`85`	`85`	`help: you need to pin and box this expression`
`86`	`86`	`\|`
`87`	`87`	`LL ~ Box::pin(async {`