diff --git a/library/kani/src/lib.rs b/library/kani/src/lib.rs
index 5745211d00ec..9969ac41d166 100644
--- a/library/kani/src/lib.rs
+++ b/library/kani/src/lib.rs
@@ -200,7 +200,7 @@ pub fn havoc<T: ?Sized>(_pointer: &T) {
 #[rustc_diagnostic_item = "KaniHavocSlice"]
 #[inline(always)]
 pub fn havoc_slice<T: Arbitrary>(slice: &mut [T]) {
-    slice.fill_with(|| T::any())
+    slice.fill_with(T::any)
 }
 
 #[rustc_diagnostic_item = "KaniHavocSlim"]
@@ -212,7 +212,7 @@ pub fn havoc_slim<T: Arbitrary>(pointer: &mut T) {
 #[rustc_diagnostic_item = "KaniHavocStr"]
 #[inline(always)]
 pub fn havoc_str(s: &mut str) {
-    unsafe { s.as_bytes_mut() }.fill_with(|| u8::any())
+    unsafe { s.as_bytes_mut() }.fill_with(u8::any)
     //TODO: String validation
 }