From 87b55f1c652640ab3cd6e827b2c0211dbeb29c44 Mon Sep 17 00:00:00 2001
From: Artem Agvanian <nartagva@amazon.com>
Date: Wed, 12 Jun 2024 15:29:36 -0700
Subject: [PATCH] Pass formatting and clippy

---
 .../src/kani_middle/transform/check_uninit/ty_layout.rs       | 4 +++-
 library/kani/src/shadow.rs                                    | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/kani-compiler/src/kani_middle/transform/check_uninit/ty_layout.rs b/kani-compiler/src/kani_middle/transform/check_uninit/ty_layout.rs
index 282bc193aaa6..2d76cda520e2 100644
--- a/kani-compiler/src/kani_middle/transform/check_uninit/ty_layout.rs
+++ b/kani-compiler/src/kani_middle/transform/check_uninit/ty_layout.rs
@@ -37,7 +37,9 @@ impl TypeLayout {
                     size: match ty.layout().unwrap().shape().fields {
                         FieldsShape::Array { stride, count } if count == 0 => stride,
                         _ => {
-                            return Err(format!("Unsupported DST for invalid memory check: `{ty}`"));
+                            return Err(format!(
+                                "Unsupported DST for invalid memory check: `{ty}`"
+                            ));
                         }
                     },
                 };
diff --git a/library/kani/src/shadow.rs b/library/kani/src/shadow.rs
index a519d950029e..c93d20f26e30 100644
--- a/library/kani/src/shadow.rs
+++ b/library/kani/src/shadow.rs
@@ -107,7 +107,7 @@ pub fn global_sm_get<const N: usize>(ptr: *const (), layout: [bool; N], n: usize
         }
         count += 1;
     }
-    return true;
+    true
 }
 
 // Set initialization setate to `value` for `n` items laid out according to the `layout` starting at address `ptr`.