We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 88e3bbe commit a3067adCopy full SHA for a3067ad
tests/kani/Intrinsics/ConstEval/pref_align_of.rs
@@ -48,7 +48,7 @@ fn main() {
48
#[cfg(target_os = "linux")]
49
assert!(unsafe { pref_align_of::<i16>() } == 4);
50
#[cfg(target_os = "macos")]
51
- assert!(unsafe { pref_align_of::<i16>() } == 1);
+ assert!(unsafe { pref_align_of::<i16>() } == 2);
52
assert!(unsafe { pref_align_of::<i32>() } == 4);
53
assert!(unsafe { pref_align_of::<i64>() } == 8);
54
assert!(unsafe { pref_align_of::<i128>() } == 16);
0 commit comments