blob: 045d82b761fdc149ff0531858b789eb9b4d5bb88 [file] [log] [blame]
//! Test that monomorphization correctly distinguishes types with different ABI alignment.
//!
//! On x86_64-linux-gnu and similar platforms, structs get 8-byte "preferred"
//! alignment, but their "ABI" alignment (what actually matters for data layout)
//! is the largest alignment of any field. If monomorphization incorrectly uses
//! "preferred" alignment instead of "ABI" alignment, it might unify types `A`
//! and `B` even though `S<A>` and `S<B>` have field `t` at different offsets,
//! leading to incorrect method dispatch for `unwrap()`.
//@ run-pass
#[derive(Copy, Clone)]
struct S<T> {
#[allow(dead_code)]
i: u8,
t: T,
}
impl<T> S<T> {
fn unwrap(self) -> T {
self.t
}
}
#[derive(Copy, Clone, PartialEq, Debug)]
struct A((u32, u32)); // Different ABI alignment than B
#[derive(Copy, Clone, PartialEq, Debug)]
struct B(u64); // Different ABI alignment than A
pub fn main() {
static CA: S<A> = S { i: 0, t: A((13, 104)) };
static CB: S<B> = S { i: 0, t: B(31337) };
assert_eq!(CA.unwrap(), A((13, 104)));
assert_eq!(CB.unwrap(), B(31337));
}