Merging upstream version 1.76.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 19 insertions, 0 deletions

diff --git a/tests/ui/traits/next-solver/async.rs b/tests/ui/traits/next-solver/async.rs
new file mode 100644
index 000000000..5833c0522
--- /dev/null
+++ b/tests/ui/traits/next-solver/async.rs
@@ -0,0 +1,19 @@
+// compile-flags: -Znext-solver
+// edition: 2021
+// revisions: pass fail
+//[pass] check-pass
+
+use std::future::Future;
+
+fn needs_async(_: impl Future<Output = i32>) {}
+
+#[cfg(fail)]
+fn main() {
+    needs_async(async {});
+    //[fail]~^ ERROR type mismatch
+}
+
+#[cfg(pass)]
+fn main() {
+    needs_async(async { 1i32 });
+}