diff --git a/programs/bpf_loader/src/syscalls.rs b/programs/bpf_loader/src/syscalls.rs
index d8e2265b48..6a0845ec5b 100644
--- a/programs/bpf_loader/src/syscalls.rs
+++ b/programs/bpf_loader/src/syscalls.rs
@@ -4662,4 +4662,10 @@ mod tests {
             Err(SyscallError::BadSeeds(PubkeyError::MaxSeedLengthExceeded).into())
         );
     }
+
+    #[test]
+    fn test_check_type_assumptions() {
+        // Code in this file assumes that u64 and usize are the same
+        assert_eq!(size_of::<u64>(), size_of::<usize>());
+    }
 }