1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/borrowck/issue-45983.rs b/tests/ui/borrowck/issue-45983.rs
new file mode 100644
index 00000000000..6784f6f86a0
--- /dev/null
+++ b/tests/ui/borrowck/issue-45983.rs
@@ -0,0 +1,12 @@
+// As documented in Issue #45983, this test is evaluating the quality
+// of our diagnostics on erroneous code using higher-ranked closures.
+
+fn give_any<F: for<'r> FnOnce(&'r ())>(f: F) {
+    f(&());
+}
+
+fn main() {
+    let mut x = None;
+    give_any(|y| x = Some(y));
+    //~^ ERROR borrowed data escapes outside of closure
+}