format

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>

library/core/src/ptr/mod.rs

@@ -1887,7 +1887,7 @@ pub unsafe fn write_volatile<T>(dst: *mut T, src: T) {
 #[safety::requires(a.is_power_of_two())]
 // If T is a ZST, then answer should either be 0 or usize::MAX
 #[safety::ensures(|result|
-    mem::size_of::<T>() != 0 || if p.addr() % a == 0 { *result == 0 } else { *result == usize::MAX}
+    mem::size_of::<T>() != 0 || if p.addr() % a == 0 { *result == 0 } else { *result == usize::MAX }
 )]
 #[safety::ensures(|result| {
     // If T is not a ZST and p can be aligned, then applying result as an offest should produce an aligned address