From b4aa629186b77357e3633284ec12db66dc28efd8 Mon Sep 17 00:00:00 2001
From: Michael Goulet <michael@errs.io>
Date: Sun, 10 Aug 2025 02:17:31 +0000
Subject: Ignore coroutine witness type region args in auto trait confirmation

---
 .../ui/async-await/recursive-async-auto-trait-overflow.rs  | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/ui/async-await/recursive-async-auto-trait-overflow.rs

(limited to 'tests/ui/async-await/recursive-async-auto-trait-overflow.rs')

diff --git a/tests/ui/async-await/recursive-async-auto-trait-overflow.rs b/tests/ui/async-await/recursive-async-auto-trait-overflow.rs
new file mode 100644
index 00000000000..716600ce472
--- /dev/null
+++ b/tests/ui/async-await/recursive-async-auto-trait-overflow.rs
@@ -0,0 +1,14 @@
+// Regression test for <https://github.com/rust-lang/rust/issues/145151>.
+
+//@ edition: 2024
+//@ check-pass
+
+async fn process<'a>() {
+    Box::pin(process()).await;
+}
+
+fn require_send(_: impl Send) {}
+
+fn main() {
+    require_send(process());
+}
-- 
cgit 1.4.1-3-g733a5