Merge remote-tracking branch 'origin/main' into cbmc-6

model-checking · Jul 24, 2024 · f938676 · f938676
2 parents 277bdad + 1b1a9b6
commit f938676
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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)
+            }
         }
     };
 }