moved renamed docs stderr | issues-71798.rs

Kivooeo · Kivooeo · commit 44031dce79af · 2025-06-13T04:39:17.000+05:00
diff --git a/tests/ui/async-await/impl-future-escaping-bound-vars-ice.rs b/tests/ui/async-await/impl-future-escaping-bound-vars-ice.rs
@@ -1,3 +1,7 @@
+//! Regression test for issue https://github.com/rust-lang/rust/issues/71798
+// ICE with escaping bound variables when impl Future + '_
+// returns non-Future type combined with syntax errors
+
 fn test_ref(x: &u32) -> impl std::future::Future<Output = u32> + '_ {
     //~^ ERROR `u32` is not a future
     *x
diff --git a/tests/ui/async-await/impl-future-escaping-bound-vars-ice.stderr b/tests/ui/async-await/impl-future-escaping-bound-vars-ice.stderr
@@ -1,11 +1,11 @@
 error[E0425]: cannot find value `u` in this scope
-  --> $DIR/issues-71798.rs:7:24
+  --> $DIR/impl-future-escaping-bound-vars-ice.rs:11:24
    |
 LL |     let _ = test_ref & u;
    |                        ^ not found in this scope
 
 error[E0277]: `u32` is not a future
-  --> $DIR/issues-71798.rs:1:25
+  --> $DIR/impl-future-escaping-bound-vars-ice.rs:5:25
    |
 LL | fn test_ref(x: &u32) -> impl std::future::Future<Output = u32> + '_ {
    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `u32` is not a future

Original file line number	Diff line number	Diff line change
`@@ -1,11 +1,11 @@`
`1`	`1`	error[E0425]: cannot find value `u` in this scope
`2`		`- --> $DIR/issues-71798.rs:7:24`
	`2`	`+ --> $DIR/impl-future-escaping-bound-vars-ice.rs:11:24`
`3`	`3`	`\|`
`4`	`4`	`LL \| let _ = test_ref & u;`
`5`	`5`	`\| ^ not found in this scope`
`6`	`6`
`7`	`7`	error[E0277]: `u32` is not a future
`8`		`- --> $DIR/issues-71798.rs:1:25`
	`8`	`+ --> $DIR/impl-future-escaping-bound-vars-ice.rs:5:25`
`9`	`9`	`\|`
`10`	`10`	`LL \| fn test_ref(x: &u32) -> impl std::future::Future<Output = u32> + '_ {`
`11`	`11`	\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `u32` is not a future