From 4034b9a8234fef5d46ce91b0a4a150c54fac66a9 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 24 Jul 2024 17:53:45 +0200
Subject: [PATCH] Cherry-pick #3375 into verify-rust-std (Import apply_closure
 into kani_core)

This adds the commit from #3375 to features/verify-rust-std.
---
 library/kani_core/src/lib.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/library/kani_core/src/lib.rs b/library/kani_core/src/lib.rs
index 68a8e79658f1..a07ba7ca8ec4 100644
--- a/library/kani_core/src/lib.rs
+++ b/library/kani_core/src/lib.rs
@@ -384,6 +384,13 @@ macro_rules! kani_intrinsics {
             #[doc(hidden)]
             #[rustc_diagnostic_item = "KaniInitContracts"]
             pub fn init_contracts() {}
+
+            /// This should only be used within contracts. The intent is to
+            /// perform type inference on a closure's argument
+            #[doc(hidden)]
+            pub fn apply_closure<T, U: Fn(&T) -> bool>(f: U, x: &T) -> bool {
+                f(x)
+            }
         }
     };
 }