From b982f3a98820e60eb04ac06910eca66f9a89d517 Mon Sep 17 00:00:00 2001 From: Wesley Wiser Date: Tue, 13 Jun 2023 15:32:18 -0400 Subject: [PATCH] Add test case for unsizing with niche --- .../ui/layout/issue-112048-unsizing-niche.rs | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 tests/ui/layout/issue-112048-unsizing-niche.rs diff --git a/tests/ui/layout/issue-112048-unsizing-niche.rs b/tests/ui/layout/issue-112048-unsizing-niche.rs new file mode 100644 index 00000000000..23588ba36ee --- /dev/null +++ b/tests/ui/layout/issue-112048-unsizing-niche.rs @@ -0,0 +1,30 @@ +// run-pass + +// Check that unsizing does not change which field is considered for niche layout. + +#![feature(offset_of)] +#![allow(dead_code)] + +#[derive(Clone)] +struct WideptrField { + first: usize, + second: usize, + niche: NicheAtEnd, + tail: T, +} + +#[derive(Clone)] +#[repr(C)] +struct NicheAtEnd { + arr: [u8; 7], + b: bool, +} + +type Tail = [bool; 8]; + +fn main() { + assert_eq!( + core::mem::offset_of!(WideptrField, niche), + core::mem::offset_of!(WideptrField, niche) + ); +}