We can print futures with {integer} too

compiler-errors · compiler-errors · commit 97668a558955 · 2022-09-08T02:52:57.000Z
diff --git a/compiler/rustc_middle/src/ty/print/pretty.rs b/compiler/rustc_middle/src/ty/print/pretty.rs
@@ -923,7 +923,7 @@ pub trait PrettyPrinter<'tcx>:
                         {
                             if let ty::Generator(_, substs, _) = substs.type_at(0).kind() {
                                 let return_ty = substs.as_generator().return_ty();
-                                if !return_ty.is_ty_infer() {
+                                if !return_ty.is_ty_var() {
                                     return_ty.into()
                                 } else {
                                     continue;
diff --git a/src/test/ui/suggestions/expected-boxed-future-isnt-pinned.stderr b/src/test/ui/suggestions/expected-boxed-future-isnt-pinned.stderr
@@ -91,7 +91,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`
+           found opaque type `impl Future<Output = {integer}>`
 help: you need to pin and box this expression
    |
 LL ~     Box::pin(async {

Original file line number	Diff line number	Diff line change
`@@ -923,7 +923,7 @@ pub trait PrettyPrinter<'tcx>:`
`923`	`923`	`{`
`924`	`924`	`if let ty::Generator(_, substs, _) = substs.type_at(0).kind() {`
`925`	`925`	`let return_ty = substs.as_generator().return_ty();`
`926`		`- if !return_ty.is_ty_infer() {`
	`926`	`+ if !return_ty.is_ty_var() {`
`927`	`927`	`return_ty.into()`
`928`	`928`	`} else {`
`929`	`929`	`continue;`
Original file line number	Diff line number	Diff line change
`@@ -91,7 +91,7 @@ LL \| pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return>`
`91`	`91`	`\| ------------------------------- the found opaque type`
`92`	`92`	`\|`
`93`	`93`	= note: expected struct `Pin<Box<(dyn Future<Output = i32> + Send + 'static)>>`
`94`		- found opaque type `impl Future`
	`94`	+ found opaque type `impl Future<Output = {integer}>`
`95`	`95`	`help: you need to pin and box this expression`
`96`	`96`	`\|`
`97`	`97`	`LL ~ Box::pin(async {`