Work around ICE in rustc: the naive layout isn't refined by the actua…

…l layout
dtolnay · Jul 22, 2023 · f5a0c86 · f5a0c86
1 parent b5c9757
commit f5a0c86
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -246,7 +246,9 @@ document_iter! {
 mod void_iter {
  enum Void {}
 
- pub struct Iter<T>([*const T; 0], Void);
+ // https://github.com/rust-lang/rust/issues/113941
+ const WORK_AROUND_RUST_ISSUE_113941: usize = 1;
+ pub struct Iter<T>([*const T; WORK_AROUND_RUST_ISSUE_113941], Void);
 
  unsafe impl<T> Send for Iter<T> {}
  unsafe impl<T> Sync for Iter<T> {}

diff --git a/tests/test.rs b/tests/test.rs
@@ -4,6 +4,6 @@ struct Thing(usize);
 
 #[test]
 fn test_iter() {
- assert_eq!(0, mem::size_of::<inventory::iter<Thing>>());
- assert_eq!(1, mem::align_of::<inventory::iter<Thing>>());
+ assert_eq!(16, mem::size_of::<inventory::iter<Thing>>());
+ assert_eq!(8, mem::align_of::<inventory::iter<Thing>>());
 }