From d440210f9a47572842ae6781303336ad4fe0f268 Mon Sep 17 00:00:00 2001
From: Shoyu Vanilla <modulo641@gmail.com>
Date: Wed, 10 Dec 2025 08:58:34 +0900
Subject: [PATCH] Add a regression test for issue 145748

---
 .../normalize/normalize-const-in-async-body.rs     |  2 ++
 .../non-defining-use-borrowck-issue-145748.rs      | 14 ++++++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 tests/ui/traits/next-solver/opaques/non-defining-use-borrowck-issue-145748.rs

diff --git a/tests/ui/traits/next-solver/normalize/normalize-const-in-async-body.rs b/tests/ui/traits/next-solver/normalize/normalize-const-in-async-body.rs
index 2b9454db3fac7..4da078dbb4f49 100644
--- a/tests/ui/traits/next-solver/normalize/normalize-const-in-async-body.rs
+++ b/tests/ui/traits/next-solver/normalize/normalize-const-in-async-body.rs
@@ -2,6 +2,8 @@
 //@ check-pass
 //@ edition:2021
 
+// Regression test for https://github.com/rust-lang/rust/issues/129865.
+
 pub async fn cleanse_old_array_async(_: &[u8; BUCKET_LEN]) {}
 
 pub const BUCKET_LEN: usize = 0;
diff --git a/tests/ui/traits/next-solver/opaques/non-defining-use-borrowck-issue-145748.rs b/tests/ui/traits/next-solver/opaques/non-defining-use-borrowck-issue-145748.rs
new file mode 100644
index 0000000000000..ae70ffdfdaee1
--- /dev/null
+++ b/tests/ui/traits/next-solver/opaques/non-defining-use-borrowck-issue-145748.rs
@@ -0,0 +1,14 @@
+//@ ignore-compare-mode-next-solver
+//@ compile-flags: -Znext-solver
+//@ check-pass
+
+// Make sure that we support non-defining uses in borrowck.
+// Regression test for https://github.com/rust-lang/rust/issues/145748.
+
+pub fn f(_: &()) -> impl Fn() + '_ {
+    || {
+        let _ = f(&());
+    }
+}
+
+fn main() {}